From what little I understand, GNU Hurd heavily emphasises its aspect of everything being a filesystem and that filesystem having a user-level driver. This is

From what little I understand, GNU Hurd heavily emphasises its aspect of everything being a filesystem and that filesystem having a user-level driver. This is not, AFAIK, not an inherent consequence of microkernels in general.