Robigalia is a remarkable Rust project to build a Linux compatible userland on top of seL4 https://robigalia.org/