Crate sel4_kit

sel4-kit

sel4-kit 是针对 sel4 和 rust-sel4 的再封装，主要是为了优化代码 并且提高代码的可读性，以及对一些不太合理的地方进行重写。

Modules

arch

提供架构相关的 sel4 功能支持补充

ipc

提供 ipc 相关支持

ipc_buffer

IPC Buffer

slot_manager

slot-manager