|Name||Thomas Bracht Laumann Jespersen|
I love to help! If you have an issue, I can always be pinged on irc. I like building packages
Notes for packages I maintain
- DONE Upstream patch that switches to GNUInstallDirs: https://github.com/uclouvain/openjpeg/pull/1165 (see https://github.com/uclouvain/openjpeg/pull/1424)
Fuzzy matching library written in C++ with a Python extension. The python extension can be picked up by dev-util/diffoscope to fuzzily matching file paths.
Gentoo w/musl on Raspberry Pi 3B+
Some notes from setting up and getting Gentoo (hardened + musl) running on a Raspberry Pi 3B+ (aarch64).
I didn't (yet) bother setting up bluetooth, but I did download the binary blob for the Wi-Fi card.
Setting up serial console
In config.txt, make sure to enable UART:
Ask the kernel to create a serial console for you:
The kernel parameters should be added to the existing parameters.
Finally, edit /etc/inittab to create the serial console:
s0:12345:respawn:/sbin/agetty -L 115200 ttyS0 vt100
There should already be a line commented out for s0, but note that it has baudrate 9600, not 115200 which we've configured in cmdline.txt.
The full contents of /boot/config.txt:
# have a properly sized image disable_overscan=1 # lets have the VC4 hardware accelerated video dtoverlay=vc4-fkms-v3d # for sound over HDMI hdmi_drive=2 # Enable audio (loads snd_bcm2835) dtparam=audio=on # gpu_mem is for closed-source driver only; since we are only using the # open-source driver here, set low gpu_mem=16 # Force booting in 64bit mode arm_64bit=1 # Enable UART enable_uart=1
I don't plan to have the HDMI monitor plugged in when using the Pi, so I might make some changes to this config later.