ReL4

1. 简介 近期深度参与了清华大学 reL4 项目的开发，记录下本人在其中的工作内容. 2. SMP 功能开发 独立完成了 SMP 功能的开发 SMP 移植开发说明 3. 配置编译系统 设计完成了 Kernel 编译配置系统的开发 编译配置系统移植说明 4. 架构相关代码移植 完成了 riscv aarch64 一部分架构相关代码的移植 架构相关代码的移植