[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Guix and sel4

From: radoslaw
Subject: Guix and sel4
Date: Sun, 14 Jan 2018 22:16:39 +0100


In 2016 David Craven has sent an email about his attempt in using sel4 (genode with sel4 to be exact) with guix ( 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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]