News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.