4 ms·
L4Linux on Genode. Problem solved.
by xj9 10y ago
L4Linux on Genode. Problem solved.
- nickpsecurity 10y agoIntegrity PC, LynxSecure, and Turaya Desktop being commercial equivalents being sold now. Genode a dual-licensed work in progress. Minix 3 did it for availability with NetBSD layer. Definitely proven to be doable but just few doing it.