Magenta Kernel Objects Handles and Objects handle object IPC channel socket fifo Signaling event eventpair futex Waiting waitset port Tasks thread process job task Memory and address space vmo vmar Resources resource Interrupts interrupt_request Logs log