> Does any other OS apart from guix actually work on this setup???
I tested Arch Linux installer and Debian Live USB today. They both can
use the hard drive and the ethernet cable. FreeBSD installer though
won't even boot - it complains about missing /etc/hostid.
there have been various reports of coreboot/libreboot only doing enough
setup to get Linux to run and not other OS.
BSD support is described on https://libreboot.org/docs/bsd/ so I
thought it would work.
The page describes some common issues, but unfortunately doesn't include
mine.
The FAQ says it is even possible to run Windows on Libreboot. ;-;
But you're probably right, because FreeBSD also doesn't work.
I won't be replacing Libreboot, maybe I'll install OpenBSD on another
machine. ;)
Thank you for the help.
