Mach kernel

GPTKB entity