A Mach port whose receive right is held by the kernel. See also task port, thread port.
(London, United Kingdom)