2 ms·
This is exciting. Sounds like exactly what Gernot Heiser was talking about: a sufficiently safe language for userland on seL4. Rust was the first that came to m
by microcolonel 11y ago
This is exciting. Sounds like exactly what Gernot Heiser was talking about: a sufficiently safe language for userland on seL4. Rust was the first that came to mind for me.
- nickpsecurity 11y agoGernot is a smart guy. I learned a lot from him on this stuff. Moreover, the ideas Im pushing here were described and implemented by his people at OK Labs then deployed in millions of phones. Also used in desktops and servers by US, UK, and German firms. Rust is a good choice given its adoption. Only if they focus on a runtime instead of POSIX, though.
- cmrx64 11y agoI know the website isn't terribly clear right now (it was posted a week earlier than I planned), but the first goal listed is exactly this.