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
Articles by others on the same topic
There are currently no matching articles.