15 ms·"Linux" Which kernel? Is it optimized and compiled for the hardware?by pmlnr 8y ago"Linux" Which kernel? Is it optimized and compiled for the hardware?