Rust is now RTOS

Looks like Alex updated their website yesterday. https://arewertosyet.com

Who has a favorite Rust based RTOS? I'm looking for one for to build satellite software on an STM32.