News for hackers. Stuff that matters.

A comment on Debian GNU/Hurd 2019 Released. Parent comment

Re:Debian GNU/Hurd 2019 Released by cultofmetatron on Sunday July 07, 2019 @11:14AM (#20375483)
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.
[ Parent | on HN ]
Re:Debian GNU/Hurd 2019 Released by CameronNemo on Sunday July 07, 2019 @12:45PM (#20376007)
The 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

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.

[ Parent | on HN ]