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 ]
There are no comments on this comment yet.