Hacker News new | ask | show | jobs
by Sporktacular 732 days ago
So what is the outcome of the kernel war? Performant micro-kernels have settled it no?