架构设计 #
我们的目标是在 seL4 的用户态开发宏内核程序，从某种意义上说是在开发一个在用户态运行的内核。他们有如下特点：
- 该库操作系统可以兼容现有的 Linux APP，并且不会有太大的性能损失（IPC 相比于原有的函数调用，降低了性能，提高了安全性）。
- 希望能够在 seL4 上运行多个“用户态内核”，这些“内核”之间是相互隔离的，通过 IPC 进行通信。真正的底层微内核通过 root-task 将内存等资源分配给用户态内核，用户态内核再通过自己的 object_allocator 进行内存管理，而不需要再次向 root-task 请求。
当前仓库被命名为 rel4-linux-kit，就是希望提供一系列 crate 来让快速构建支持 linux 程序的用户态内核。