Hi, I'm trying to install Guix SD on a Gigabyte GA-41M-ES2L running libreboot. Grub recognizes the usb stick and shows the menu entry "GNU with Linux-Libre 4.5 (beta)". Linux seems to boot, but the computer resets pretty soon. Even using a serial cable I can't see any error message.
The last line displayed is "[ 0.208002] .... node #0, CPUs: #1". The full serial log (including libreboot) can be downloaded here: https://libreboot.niclashoyer.de/guixsd/usb-boot.log The linux boot starts around line 1276. Trisquel GNU/Linux using kernel 3.13.0 and Parabola GNU/Linux using kernel 4.6.4 boot without problems. I also tried to boot the Guix SD installer using the Parabola kernel. That kind of "worked", as I was dropped into a guile prompt with a backtrace, but no reboot occurred. Any help is appreciated. -- Niclas
