Libreboot and GuixSD

[Dawson Shay]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20170522/fa659b7e/attachment.html>