Auf den Kernen, die ausschließlich für Rechen-leistung sorgen sollen hingegen läuft ein Micro-Kernel, um den Overhead möglichst gering zu halten und um die Kommunikation der einzelnen Knoten untereinander mit möglichst wenig Zeitverlust umsetzen zu können.