2 ms·Here's the famous verified one: https://github.com/seL4/seL4 https://github.com/seL4/seL4by tom_mellior 10y agoHere's the famous verified one: https://github.com/seL4/seL4 https://github.com/seL4/seL4