5 ms·Genode runs on sel4 and has a desktop gui.by justincormack 3y agoGenode runs on sel4 and has a desktop gui.