2 ms·

I'm surprised that something so incredibly prevalent is so rarely discussed.

• techdragon 11y ago
  Much of the tech community views this as "settled" thanks to the Linux versus Tannenbaum debate. Microkernels aren't going away any time soon. :-)
  • technion 11y ago
    Oh I know - I meant more "running L4 kernels", with the seL4 currently looking quite interesting. At what point do you conclude that you're: * running everything in hypervisor X, thus hardware support doesn't matter * running only servers, thus desktops don't matter * and thusly, may stand more to gain from an environment that never catered to the above two?