sel4源码解析(一) – sel4内核对象

文章目录sel4内核对象untypeduntyped cap结构体创建内核对象TCB相关阅读 sel4是微内核,它只提供了少数供用户程序使用的机制。不像linux内核提供了大量的服务。本文主要介绍sel4提供的七个内核对象,着重讲述了untyped这一内核对象。 sel4内核对象 Sel4提供了七个内核对象,这七个内核对象构成了一个进程基本运行环境。它们分别是: CNodes:CNodes本质是一个结构体数组,该数组的元素是cte(capability table entry),该cte中包含一个cap_t结构体和mdb_node_t结构体(todo)。一个进程的CNodes称为Cspace,