3 ms·

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