Were? I haven't seen any serious move towards SeL4 and userspace written in a memory safe language..

The only serious move is kernels adoption of Rust, but for example in Linux this is restricted to 'non core' components.

And while Rust is obviously safer than C, it isn't really 'security focused' for example it still have supply chain attacks, which would be 'impossible' if it used capabilities..