3 ms·

I doubt that any of these (except maybe one of the BSDs) would be a viable alternative in most cases where companies use the Linux kernel.