sel4_kit/
lib.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
//! sel4-kit
//!
//! sel4-kit 是针对 sel4 和 rust-sel4 的再封装，主要是为了优化代码
//! 并且提高代码的可读性，以及对一些不太合理的地方进行重写。

#![no_std]
#![deny(warnings)]
#![deny(missing_docs)]

#[cfg(feature = "alloc")]
extern crate alloc;

pub mod arch;
pub mod ipc;
pub mod ipc_buffer;
pub mod slot_manager;