3 ms·
There is already a formally verified kernel - https://sel4.systems/home.pml https://sel4.systems/home.pml
by codelion 4y ago
There is already a formally verified kernel - https://sel4.systems/home.pml https://sel4.systems/home.pml
- schoen 4y agoThat'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.
- sbf501 4y agoI didn't know that existed. What a fantastic project. Thanks for the link.