reL4内核部分架构图 #

reL4 kernel代码以组件化的思想进行设计，设计架构图如下： 对于每一个模块的细致介绍请看组件化reL4详细介绍部分

宏内核部分架构图 #

在reL4基础上支持Linux宏内核的具体架构设计如下： 相应的介绍，请查看reL4 宏内核用户态程序设计部分