Libreboot and GuixSD

Dawson Shay dawson.shay at ...512...
Tue May 23 03:39:48 CEST 2017


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 , 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!

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list