seL4 参考手册目录

Posted 2022-10-17 Q7318

seL4 reference PDF

1.介绍：1

 

2.内核服务与对象：2

 

2.1 基于能力（capability）的访问控制：2

2.2 系统调用：3

2.3 内核对象：4

2.4 内核内存分配：5

2.4.1 重用内存：6

 

3.能力作用领域

3.1 能力和能力作用领域的管理

3.1.1 能力作用领域的创建

3.1.2 CNODE 方法

3.1.3 能力的权力

3.1.4 能力的推导树

 

3,2 删除 撤销 和再循环

3.3 能力作用领域的地址

3.3.1 能力作用领域的地址查找

3.3.2 定位能力

 

3.4 查找失败的描述

3.4.1 初始化根目录失败

3.4.2 缺少能力

3.4.3 深度不匹配

3.4.4 防护不匹配

 

4 进程间通信

4.1 消息寄存器

4.2 同步端点

4.2.1 端点标记

4.2.2 能力转变

4.2.3 错误

 

4.3 异步端点

4.3.1 异步端点标记

 

5.线程与执行

5.1 线程

5.1.1 线程创建

5.1.2 线程挂起

5.1.3 调度

5.1.4 异常

5.1.5 读写寄存器方法的消息布局

 

5.2 错误

5.2.1 能力错误

5.2.2 未知的系统调用

5.2.3 用户异常

5.2.4 虚拟机错误

 

5.3 域

 

6 地址空间与虚拟内存

6.1 概述

6.2 对象

6.3 映射属性

6.4 共享内存

6.5 页错误

 

7 硬件 I/O 

7.1 中断交付

7.2 IA-32 I/0类型

7.2.1 端口I/O

7.2.2 I/O 空间

 

8 系统引导指令

8.1 初始化线程运行环境

8.2 引导消息框架

8.3 引导命令行论据

8.4 多内核引导指令

 

9 seL4 API 参考

9.1 错误代码

9.1.1 未初始化论据

9.1.2 未初始化能力

9.1.3 非法操作

9.1.4 错误范围

9.1.5 校准错误

9.1.6 查找失败

9.1.7 删除FIRST

9.1.8 撤销 FIRST

9.1.9 内存不足

 

9.2 系统调用

9.2.1 sent

9.2.2  wait

9.2.3  call

9.2.4  reply(回复)

9.2.5  non-blocking sent（非阻塞sent）

9.2.6  reply wait

9.2.7  yield 

9.2.8  notify

 

9.3 独立体系结构对象方法

 

9.4 IA-32类型对象方法

 

9.5 ARM 特定的对象方法

 

附表目录 

3.1  SEL4 访问权限

3.2  能力推导

3.3  为IPC 消息分配物理寄存器在ARM 体系结构下：19

3.4  seL4_IPCBuffer 结构体的领域 ，注意标记和帽在结构体中使用相同的内存区域

3.5  一个IPC 消息的内容

3.6  在ARM 体系结构下未知的系统调用结果：26

3.7  在ARM体系结构下用户异常结果：27

3.8  ARM页表入口的虚拟内存属性：31

3.9  初始化线程的CNode 内容：36

3.10 引导消息结构体：37

3.11 设备区域结构体：38

3.12 独立平台对象的大小：65

3.13  ARM 特定的对象大小：65

 

图表

3.1 实例能力的派生树  11

3.2 一个CSpace 实例在各优先级下参考，多种监控和基数值和内部CNode的参考的展示 14

3.3 一个（服从？？）合理的CSpace的布局  15