![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
seL4
Q7318
目前在进行trustzone的技术实现,如有技术问题,欢迎私信。
展开
-
seL4 参考手册目录
seL4 reference PDF 1.介绍:12.内核服务与对象:22.1 基于能力(capability)的访问控制:2 2.2 系统调用:3 2.3 内核对象:4 2.4 内核内存分配:5 2.4.1 重用内存:63.能力作用领域 3.1 能力和能力作用领域的管理 3.1.1 能力作用领域的创建 3.1.2 CNODE 方法 3.1.3 能力的权力 3.1.4 能力的推导翻译 2015-10-16 16:18:12 · 1126 阅读 · 0 评论 -
seL4系统调用
seL4 系统调用seL4微内核为线程间通信提供了一个消息传递服务。这个服务也被使用于内核提供的服务的通信中。这是一个标准的消息格式,每个消息包含了数据字以及有可能有一些能力。这些消息的结构体和编码被详细的在第四部分记载。线程通过调用他们能力空间中的能力来发送消息。当用这种方式调用一个终端节点的时候,消息需要经过内核传递到其他线程中。当内核对象的能力被调用时,这消息将会被解释成想一个关于内核对象类型翻译 2015-10-15 17:47:53 · 1208 阅读 · 0 评论 -
seL4 内核服务、对象以及基本能力访问和控制
内核服务和对象微内核提供了一些有限的原始服务,更多复杂的服务要在这些原始服务基础上像应用程序一样实现。以此种服务,此系统的功能可以被拓展而不用增加特权模式下的代码和复杂度,虽然在应用程序域潜在的支持相当广泛的服务。 seL4 内核基本支持的服务如下:线程(Threads )是CPU支持应用程序运行的抽象化。地址空间(Address spaces)是一块包含一个应用程序的虚拟内存空间,应用程序只能使翻译 2015-10-16 16:33:40 · 1838 阅读 · 0 评论 -
seL4 参考手册目录
seL4 reference PDF1.介绍:1 2.内核服务与对象:2 2.1 基于能力(capability)的访问控制:22.2 系统调用:32.3 内核对象:42.4 内核内存分配:52.4.1 重用内存:6 3.能力作用领域3.1 能力和能力作用领域的管理3.1.1 能力作用领域的创建3.1.2 CNODE 方法3.1.3 能力...翻译 2018-12-20 10:21:57 · 850 阅读 · 0 评论