A communication object on which software threads send or receive IPC messages. In seL4, an IPC endpoint is an operating-system kernel object with waiting senders or receivers; access requires a suitable security capability. [ref]
IPC tutorial by seL4 Project. IPC tutorial, Background: endpoint queues
New to topics? Read the docs here!