Verifying an extensible processor is more than a one-step process, especially when software compatibility is important.
Ariel OS is a new RTOS for microcontrollers written in Rust with support for popular hardware architectures (Arm Cortex-M, ...