3 ms·Why Redox OS isn't based on seL4? Are there limitations of seL4 which blocked its usage?by renox 8y agoWhy Redox OS isn't based on seL4? Are there limitations of seL4 which blocked its usage?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..