I know it is just an OS kernel and security is far more comprehensive than having a secure kernel, but this is an amazing start: https://sel4.systems/ https://

I know it is just an OS kernel and security is far more comprehensive than having a secure kernel, but this is an amazing start: https://sel4.systems/ https://sel4.systems/ I'm surprised IoT conversations are still happening with Linux as a contender for the OS, let alone Windows.