Milrokernel ist mehr, als mur Treiber im Userspace. Und der Kommunikationsoverhead zwischen den Kerneldiensten, die aus dem Mikrokernel ausgelagert sind, fuehrt sicher nicht zu einer besseren Performance.