> I know there is research at some universitys into formally verified OS's, but it's a long way off IMO. I believe seL4 is verified and used in production ( ht

> I know there is research at some universitys into formally verified OS's, but it's a long way off IMO. I believe seL4 is verified and used in production ( https://sel4.systems/ https://sel4.systems/ )