OOQQ / GNUhorde

Horde microkernel servers for GNU Match source tree

GNU Horde microkernel servers

This is an in-progress effort to adapt the existing Hurd microkernel servers for the GNU Match microkernel.