Sorry, da habe ich wohl noch halb geschlafen als ich die Meldung gepostet habe: Der Hurd ist natürlich kein Mikrokernel sondern basiert auf einem Mikrokernel (nämlich dem GNU Mach). Das passiert, wenn man "mitten in der Nacht" News postet. ;-)

GNUesse von Wolfgang