User:Laumann

Community member
Name	Thomas Bracht Laumann Jespersen
Nickname	laumann
Email	t@laumann.xyz
PGP fingerprint	94DC1AEB62B1E0B4FDC5DC3A85C9FB9C4405C282

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

media-libs/openjpeg

For updates:

Build app-text/poppler
Build media-libs/leptonica

TODO

DONE Upstream patch that switches to GNUInstallDirs: https://github.com/uclouvain/openjpeg/pull/1165 (see https://github.com/uclouvain/openjpeg/pull/1424)

dev-{libs,python}/tlsh

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.

Laumann

dk

Contact info

t@laumann.xyz

laumann (IRC)

User info

Gentoo user since 2010

en-5This user is able to contribute with a professional level of English.

Gentoo w/musl on Raspberry Pi 3B+

Some notes from setting up and getting Gentoo (hardened + musl) running on a Raspberry Pi 3B+ (aarch64).

Generally, I could follow the instructions on Raspberry Pi 3 64 bit Install using crossdev to build the kernel, and using the aarch64 musl hardened stage3 (from the Gentoo downloads page).

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:

FILE /boot/config.txt

enable_uart=1

Ask the kernel to create a serial console for you:

FILE /boot/cmdline.txt

console=serial0,115200 console=tty1

The kernel parameters should be added to the existing parameters.

Finally, edit /etc/inittab to create the serial console:

FILE /etc/inittab

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.

/boot/config.txt

The full contents of /boot/config.txt:

FILE /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.