4 ms·

I think you might underestimate how many Linux kernels+userlands show up embedded in non-"computer" devices!