GNU/HURD

Portage sur le Micro-noyau L4Ka,

L4Ka

http://www.l4ka.org/
C'est un micro-noyau écrit en C++,

• permet des IPC trés rapide,
• permet l'utilisation de machines multi-processeurs.