Interprozesskommunikation (IPC) ist maßgeblich für die Geschwindigkeit
von Mikrokernen, wie L4/Fiasco.OC.
Die Arbeit schlägt eine Erweiterung des IPC-Mechanismus vor, um die
Kommunikation zwischen Clients und parallelen Servern kernlokal abzuwickeln.