Yirmiuc / gnumach-common

GNU version of the Mach microkernel, common files.