> Did you try running Linux-libre 4.5 or newer before on this hardware? > Several people have reported running GuixSD on Libreboot-powered > machines, but presumably this was different hardware. > > Thanks, > Ludo’.
Yes, booting the Parabola GNU/Linux from usb is working. They use linux-libre 4.6.4. Is there any way I could test this? I could compile Guix SD from source und fiddle with the kernel build options until I'm able to boot. -- Niclas