Vagrant Cascadian writes: > With libreboot re-installed, it's working for me as well! Hooray! > I haven't tried just applying the minimal patches and/or configuration > on top of Guix's linux-libre, but that seems like a logical next step... One thing worth trying might be to turn off the patches in PrawnOS kernel, to see if they make a difference for booting. I think it is mostly the configuration that is making the difference. Also, I wrote a little script (see attached) that looks for semantic differences in kernel configuration files. I’ll attach it in case you could use it. My approach was to compare the PrawnOS and Arch Linux ARM configurations against the Guix one, and find things that former two have in common that Guix lacks. To this end, you can run guile --no-auto-compile kconfig.scm guix.cfg prawnos.cfg alarm.cfg and it should tell you all the things that both the working configurations explicitly enable (either as “m” or “y”) that Guix does not. (I found the output a little cleaner than using “diff”, “sort”, and friends.)