1. 首页
  2. 数据库
  3. 其它
  4. sel4.0.9.pdf

sel4.0.9.pdf

上传者: 2020-08-30 02:22:47上传 PDF文件 26.82MB 热度 13次
《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
用户评论