> The microkernel idea is pretty much dead outside the ivory tower, as in practice it didn't work, The L4 microkernel > http://en.wikipedia.org/wiki/L4_microk

> The microkernel idea is pretty much dead outside the ivory tower, as in practice it didn't work, The L4 microkernel > http://en.wikipedia.org/wiki/L4_microkernel_family http://en.wikipedia.org/wiki/L4_microkernel_family is really fast and used quite often. See > http://en.wikipedia.org/wiki/L4_microkernel_family#Commercial_deployment http://en.wikipedia.org/wiki/L4_microkernel_family#Commercia... for details about its usages.