Comment by yencabulator

Hubris is an embedded microkernel targeting the kilobytes-to-megabyte range of RAM. In Rust. They're saying very positive things about the bug prevention aspects.

https://hubris.oxide.computer/reference/

https://hubris.oxide.computer/bugs/