4 ms·
personally, I think people who are interested in hurd should take a look at redox. Its a new microkernel with similar design goals that uses rust as its impleme
by cultofmetatron 7y ago
personally, I think people who are interested in hurd should take a look at redox. Its a new microkernel with similar design goals that uses rust as its implementation language.
- CameronNemo 7y agoThe L4 ecosystem is much more mature. There are formally proven variants like seL4, and more widely used variants like wrmOS. https://en.wikipedia.org/wiki/L4_microkernel_family https://en.wikipedia.org/wiki/L4_microkernel_family I am excited to see how redox evolves, but unless they start writing, virtualizing, or porting drivers it is not much more than an experiment in how well Rust can handle OS programming.