4 ms·seL4 is a formally verified OS kernel. https://sel4.systems/About/ https://sel4.systems/About/by chromoblob 3y agoseL4 is a formally verified OS kernel. https://sel4.systems/About/ https://sel4.systems/About/