News for hackers. Stuff that matters.
Re:Robigalia: seL4 and Rust by Klasiaster on Wednesday January 06, 2016 @06:10PM (#10854651)
In order to support more than the unikernel or embedded use case I hope they'll take in the beloved rump kernels as it's unlikely to maintain an own copy of network and FS drivers, not speaking from graphics.
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.