sel4提供了基于endpoints实现的进程间通信，用于进程之间发送少量的信息和cap。 ipc相关数据结构 ipc是通过内核endpoints实现的，相应的有endpoints的结构体和endpoints cap的结构体。endpoints类似notification都有一个队列保存着当前挂载的队列，但endpoints同notification不同，notification是用来发送通知，并没有携带信息和cap。具体结构体如下所示： block endpoint { field e