stimmt - nur ist L4 glaub etwas jüngeren Datums..

> Hurd ist kein Kernel sondern eine Ansammlung von Treibern fuer einen Mikrokernel um die Funktionalitaet zu erweitern.

nicht nur Treiber.. Jedenfalls sehr viele (kleine) Programme, die im Userspace laufen und einen Unix-Kernel "vortäuschen"

Der Rest stimmt meines Erachtens schon