Hi,
In 2016 David Craven has sent an email about his attempt in using sel4
(genode with sel4 to be exact) with guix
(https://lists.gnu.org/archive/html/help-guix/2016-12/msg00058.html). Do
You know if he succeeded or not? And if not where there any substantial
blockers or just lack of time?
Also while I'm asking would it be possible to use only the microkernel
without the genode ecosystem in the guixsd? And on that topic is guixsd
able to cross-compile? It already has the sandboxing for the packages so
I would imagine it couldn't be that difficult but maybe it wasn't tried
out before. I should probably RTFM but this is just a side-note
question.
Cheers,
Radek
