Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on ExectOS – brand new operating system which derives from NT architecture. Parent comment
LionsOS[0] is an effort by the seL4 foundation itself.
Makatea[1] is trying to implement a Qubes-equivalent on a safer seL4 base.
Genode[2] is an OS framework built around capabilities that supports several microkernels including seL4 itself.
0. https://lionsos.org/
1. https://trustworthy.systems/projects/makatea/
2. https://genode.org/
Thanks for sharing!
It's spelt DOpE[0].
0. https://os.inf.tu-dresden.de/~nf2/dope.html
LionsOS[0] is an effort by the seL4 foundation itself.
Makatea[1] is trying to implement a Qubes-equivalent on a safer seL4 base.
Genode[2] is an OS framework built around capabilities that supports several microkernels including seL4 itself.
0. https://lionsos.org/
1. https://trustworthy.systems/projects/makatea/
2. https://genode.org/