The Internet on Redox

Key features on the homepage match my recommendations to Rust/seL4 project head. The amount of commit activity and features outmatched anything I'd have expected from that or this project. That you all started with strong architecture, strong language, and strong effort in something that might end up practical is very impressive. I rarely see that.

Thanks! We have gone from a hobby unikernel to a real Unix-like OS in one year.