Let’s build our own Linux operating system for a Raspberry Pi 4
First we need a big build box, something 16 VPC and 32GB RAM from AWS should do the trick. I like this machine:
c4.4xlarge Set up the development environment sudo apt update && sudo apt -qy dist-upgrade && sudo apt -qy install gawk wget git diffstat unzip texinfo gcc-multilib build-essential chrpath socat libsdl1.2-dev xterm sed cvs subversion coreutils texi2html docbook-utils python-pysqlite2 help2man desktop-file-utils libgl1-mesa-dev libglu1-mesa-dev mercurial autoconf automake groff curl lzop asciidoc u-boot-tools cpio sudo rsync linux-headers-$(uname -r) locales Additional requirements:...
💻 OpenBSD 6.9 on Raspberry Pi 4 🍓 🥧 👩💻
I wondered if I could use my Raspberry Pi 4 as a gateway device to shape and filter my network traffic. It only has one NIC, but OpenBSD supports many USB-NIC devices out of the box. Let’s see how successful this idea is.
Update firmware on Raspberry Pi 4 Instructions here: https://github.com/AshyIsMe/openbsd-rpi4
Installing OpenBSD 6.9 on Raspberry Pi 4 Download and checksum install69.img from the OpenBSD 6.9 FTP site.
Put the install69....
💻 Raspberry Pi 4 Serial Console 🍓 🥧 👩💻
Raspberry Pi has been through a few revisions now, and the data available on the www tends to get stale very fast. This is the right way of connecting to a Raspberry Pi 4 via a serial consoles.
Which GPIO pins are used for the serial console? As can be seen in the image above and the cartoon here, the TX (PIN8) and RX (PIN10) pins for the serial port are next to the 5V power (PIN2) and GND (PIN6) pins on the top left....
