That's very important work, but I don't think it includes many of the features we would associate with an operating system. https://sel4.systems/About/seL4-whi

That's very important work, but I don't think it includes many of the features we would associate with an operating system. https://sel4.systems/About/seL4-whitepaper.pdf https://sel4.systems/About/seL4-whitepaper.pdf It's hard to overstate how (intentionally) tiny it is compared to something like Linux or a BSD kernel.