4 ms·
Genode is an actively developed, general purpose desktop operating system that works today, and can use seL4, among other kernels.
by Zamiel_Snawley 2y ago
Genode is an actively developed, general purpose desktop operating system that works today, and can use seL4, among other kernels.