23 May
2017
23 May
'17
1:39 a.m.
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