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