Re:Robigalia: seL4 and Rust
by cmrx64 on Wednesday January 06, 2016 @06:25PM
(#10854743)
As I mentioned in another comment, someone else can port BSD if they want. Our goal is pure-Rust. We're already working on NIC support and a TCP/IP stack.
[ Parent
| on HN ]
There are no comments on this comment yet.