3 ms·Genode OS framework lets you use Linux drivers with L4 kernels, including seL4.by xj9 10y agoGenode OS framework lets you use Linux drivers with L4 kernels, including seL4.