目录描述arch/包含架构相关的代码，里面会有一些子目录，如alpha/，arm/，mips/，blackin/等block/包含块存储设备的代...

指令作用more /etc/issue返回当前使用的Linux版本ps -p $$返回当前使用的shellwhoami返回当前登陆的用户名upt...

Linux工具链通常来源于GNU project或Clang/LLVM project。其中LLVM使用BSD license，而GNU使用GP...

虚拟内存 seL4不提供虚拟内存管理，除了那些用于操作硬件的paging structure。用户态必须有服务去负责创建intermediate...

capability的概念 capability是用于访问系统中的entity/object的独一无二的token。在seL4初始化阶段，那些可...

seL4的内存管理 在seL4中，除了少量静态内存属于内核，所有的物理内存都由用户态管理。在root task开始运行的时候就已经获取了所有se...