4 ms·
https://redox-os.org/ https://redox-os.org/
by tormeh 7y ago
https://redox-os.org/ https://redox-os.org/
- danmg 7y agoHow does rust negate data race conditions? These aren't memory errors.
- jolux 7y agoThe borrow checker prevents it. Race conditions that aren’t data races are not prevented, though.
- tormeh 7y agoIt's an OS with microkernel written in Rust. It's literally the first thing you see on the website. So it's both microkernel, and Rust, so it is an example of people doing what parent mentioned.