So what is the outcome of the kernel war? Performant micro-kernels have settled it no?