Libreboot and GuixSD

[Emery Hemingway]

Hi Dawson,

Genode is not directly bootable as a coreboot payload but is bootable
from GRUB. As far as I know all the of the supported kernels on x86 use
the multiboot standard, which is the same as Hurd, so you can
cross-reference GRUB config snippets between the two.

I'm a bit suprised you found my NixOS dualboot instructions, I don't
remember if I finished it. I assume that the same would work for Guix,
the essence of it is that the configuration changes slightly depending
on which boot partition is mounted.

I don't run a system like that anymore because I had some practical
problems with NixOS as a desktop distro, but I may return to it if I
had a second VM to use.

Good luck,
Emery

On Mon, 22 May 2017 18:39:48 -0700
Dawson Shay <dawson.shay at ...512...> wrote:

> Hello,
> 
> First of all thank you very much for your time! I have but two
> questions: first off, is Genode compatible with Libreboot? Secondly,
> I had this
> https://gist.github.com/ehmry/66f0aafefc7b3fefb14ebede5f64f94b , and
> it has me wondering if such a thing might be possible with an
> operating system such as GuixSD (a NixOS fork)?
> 
> Thank you for your time!
> 
> -Dawson