Robigalia: seL4 and Rust

Re:Robigalia: seL4 and Rust by microcolonel on Wednesday January 06, 2016 @04:30PM (#10853931)

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.

[ Parent | on HN ]

Re:Robigalia: seL4 and Rust by nickpsecurity on Wednesday January 06, 2016 @06:00PM (#10854589)

Gernot 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.

[ Parent | on HN ]

Re:Robigalia: seL4 and Rust by cmrx64 on Wednesday January 06, 2016 @06:13PM (#10854675)

I 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.

[ Parent | on HN ]