"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.