3 ms·
There are efforts to build OSes directly on L4 kernels as well. Most notably Genode. http://genode.org/ http://genode.org/ They recently added support for ru
by cvwright 10y ago
There are efforts to build OSes directly on L4 kernels as well. Most notably Genode. http://genode.org/ http://genode.org/
They recently added support for running on seL4 too: https://sel4.systems/pipermail/devel/2016-August/000967.html https://sel4.systems/pipermail/devel/2016-August/000967.html