3 ms·
I think it's possible to run Genode[1] as a desktop on top of seL4 (Genode supports different kernels). However, I'm struggling to find a tutorial to get that u
by als0 3y ago
I think it's possible to run Genode[1] as a desktop on top of seL4 (Genode supports different kernels). However, I'm struggling to find a tutorial to get that up and running.
[1] https://en.wikipedia.org/wiki/Genode https://en.wikipedia.org/wiki/Genode