3 ms·Are other kernels that don't get the 1M hours per year as usable by end users as Linux?by abenga 2y agoAre other kernels that don't get the 1M hours per year as usable by end users as Linux?