Yheldon

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的教程代

1 安装 使用官方的脚本自动安装： 执行完之后如果使用docker需要加sudo，可以给docker增加root权限： 2 拉取docker镜像 这条指令是用于在 Docker 中启动一个交互式的 U

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

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