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.
[ Parent
| on HN ]