rust-sel4

文档

seL4 内核的 Rust 高级接口。这个包基于 sel4-sys 提供一个更容易使用且类型安全的 API。

状态

已完成，但大部分未经过测试。

lib.rs:

对 seL4 内核对象的更高层次接口。

这个包的目的是提供机制而不是策略，因此总体风格仍然非常底层，且没有对架构特定的细节进行抽象。然而，它应该比原始的 sel4-sys 函数更方便使用，并且性能也不会降低（一旦优化，当然）。

注意：当方法文档中提到“this”时，它指的是线程的接收者，而不是任何全局状态。