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，