3 ms·

I'd look at seL4, or nuttx if lazy.