I am remotely managing headless GuixSD servers using IPMI Serial over LAN (SOL). The BIOS, linux messages, and REPL work great.
I also see ... GRUB loading. Welcome to GRUB! ... but I don't see the GuixSD boot menu ;-( Is there a way to make GuixSD boot screens appear on TTY? TIA - George