sel4源码解析(四) – ipc

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