2 ms·

Anything you could write a native filesystem or device driver in would be semantically quite similar to C, even in the ideal microkernel fantasy.