ReL4 Kernel #

本章介绍我们在将seL4移植到reL4过程中的一些细致的记录

1. 启动代码移植
2. MCS特性支持