seL4学习笔记

Mapping 这一节是关于seL4虚拟内存管理的讲解。 预备知识 在此之前需要学过capability课程。 成果 学完本课程，会有以下收获： 如何在seL4中map和unmap虚拟内存页 背景 虚

初始化程序 创建一个untyped capability 我们首次运行这一节的教程的时候会看到下面的输出，他列举除了所有这个root task被给予的untyped capability。 在程序输出

Untyped 这篇是对seL4物理内存管理的简单介绍。 预备知识 需要学过capability课程。 成果 学完这一节课程，我们会熟悉以下内容： 了解术语untyped，device untyped

初始化程序 依次执行后生成的是capability的文件夹，并进行了编译和运行。下面的教程中会逐步完善这个程序。 首次运行之后是这样的： ctrl+a然后x退出。 练习 教程一开始，提供了一个Boot

Capability 这篇教程主要就是对capability的一个基本的介绍。 初始化 首先我们初始化一个教程的程序。 成果 学完这篇教程，我们会熟悉一下内容： 1.术语：CNode, CSpace,

这是seL4运行机制的第2篇。 截图中的代码和log不额外说明，都是指截图的最后一行 1 教程 依然还是从代码开始，等我完全过一遍教程，再根据自己的理解来总结那些基本的理论。 生成untype的教程代

这是seL4运行机制的第1篇。 截图中的代码和log不额外说明，都是指截图的最后一行 首先，我们从代码开始，这是最直观的东西。从程序中语言化的概念性的东西有点过于玄虚，汉化之后就更加铺所迷离的。 首先

整个simulate脚本就是在构建qemu仿真的参数 执行hello-world是RAM镜像文件中：

这部分的目的是验证环境的可用性。 0 python依赖 1 拉取代码 安装几个依赖包： 2 编译 执行： 此时会生成一个新的文件夹（名字可能会变化）： 进入该文件夹，使用ninja编译： 备注： 需要

1 安装docker 执行完之后如果使用docker需要加sudo，可以给docker增加root权限： 2 导入镜像 链接：https://pan.quark.cn/s/3206e1f1e64b 提

seL4学习环境搭建的完整方法，包括相关依赖的安装和qemu虚拟机的安装。如果嫌麻烦可以使用后面提供的docker镜像。