1. 简介

近期深度参与了清华大学 reL4 项目的开发，记录下本人在其中的工作内容.

2. SMP 功能开发

独立完成了 SMP 功能的开发

SMP 移植开发说明

3. 配置编译系统

设计完成了 Kernel 编译配置系统的开发

编译配置系统移植说明

4. 架构相关代码移植

完成了 riscv aarch64 一部分架构相关代码的移植

架构相关代码的移植