《seL4内核参考手册》 4.0.9 中文 原文重要信息 1.2 第1章 简介 1.3 第2章 内核服务和对象 1.4 第2.1节 基于能力的访问控制 1.4.1 第2.2节 系统调用 1.4.2 第2.3节 内核对象 1.4.3 第2.4节 内核内存分配 1.4.4 2.4.1 重用内存 1.4.4.1 2.4.2 对象大小概览 1.4.4.2 第3章 能力空间 第3.1节 能力和能力空间管理 1.5 1.5.1 3.1.1 创建CSpace 1.5.1.1 3.1.2 CNode方法 1.5.1.2 3.1.3 新分配对象的能力 1.5.1.3 3.1.4 能力的权限1 1.5.1.4