3 ms·>People usually run another OS, usually a stripped-down Linux, on top of L4. Look into Genode.by snvzz 4y ago>People usually run another OS, usually a stripped-down Linux, on top of L4. Look into Genode.