seL4 初学者学习笔记 #
本章包含一些关于 seL4 的学习笔记，学习博客，帮助初学者理解 seL4 的一些特性和设计实现。
- seL4 capability 机制学习记录
- rel4-linux-kit 学习笔记
- seL4 vspace 学习笔记
- seL4 root-task 初始化创建过程 (TODO)
- seL4 IPC 流程分析 (TODO)
- seL4 Fault 处理流程分析 (TODO)
本章包含一些关于 seL4 的学习笔记，学习博客，帮助初学者理解 seL4 的一些特性和设计实现。