3 ms·

LynxOS (hard RTOS) is quite nice. I hope Linux gets hard real time support for userland, some day :-)