|
|
|
|
|
|
by saosebastiao
4036 days ago
|
|
|
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. |
|
|