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/

I'm surprised IoT conversations are still happening with Linux as a contender for the OS, let alone Windows.