Booting Guix SD on GA-41M-ES2L with libreboot

[Niclas Hoyer]

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