uITRON isn't rare on microcontrollers, especially in automotive. A lot of uC has official BSPs based on it.