4 ms·
"Redox is a Unix-like Operating System written in Rust, aiming to bring the innovations of Rust to a modern microkernel and full set of applications." Seems fo
by als0 8y ago
"Redox is a Unix-like Operating System written in Rust, aiming to bring the innovations of Rust to a modern microkernel and full set of applications."
Seems focused on using Rust, which SEL4 isn't written in.
- renox 8y agoSure but SeL4 is a tiny part of an OS..