2 ms·
Genode.
by im_down_w_otp 6y ago
Genode.
- dathinab 6y agoThrough it's not build around SeL4 specifically. It supports a wide range of mostly L4 based micro kernels as well as some other kernels like e.g. Linux. Still it's a SeL4 OS if you want it to be one.