3 ms·
I'm not sure if this matches the description, but seL4 supposedly has a pretty well-developed proof system: https://sel4.systems/ https://sel4.systems/
by dlitz 11y ago
I'm not sure if this matches the description, but seL4 supposedly has a pretty well-developed proof system: https://sel4.systems/ https://sel4.systems/
- tptacek 11y agoWorth keeping in mind that L4 kernels do much, much less than conventional operating systems. They're more like libraries for building useful OS's on top of.