They have an entire RTOS ecosystem which supports a gazillon different microcontrollers.