User:laumann

From Gentoo Wiki
Jump to:navigation Jump to:search
Developer
Name Thomas Bracht Laumann Jespersen
Nickname laumann (www.g.o link)
Email laumann@gentoo.org
PGP key ID 0x85C9FB9C4405C282
Ebuild repository https://git.sr.ht/~laumann/portage


Developer bug 970636
Packages p.g.o/laumann@gentoo.org (commits)
Is active Yes
Projects

Laumann
dk
Contact info
laumann (IRC)
en-5This user is able to contribute with a professional level of English .
da-N Denne bruger har dansk som modersmål.
en-5 This user has professional knowledge of English.
de-1 Dieser Benutzer beherrscht Deutsch auf grundlegendem Niveau.
pt-1 Este utilizador tem um nível básico de português.
ro-1 Acest utilizator poate contribui cu un nivel de bază de română.

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

app-text/xmlstarlet

Picked it up, because it was dropped but I used it from time to time. No other tool really replaces it.

Bugs

dev-libs/tlsh + dev-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.

GURU packages

Project Codeberg

I've been pushing for the move to Codeberg: See Codeberg

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.

Links