5 ms·So what is the outcome of the kernel war? Performant micro-kernels have settled it no?by Sporktacular 2y agoSo what is the outcome of the kernel war? Performant micro-kernels have settled it no?