Crate common

Source

Modules§

config
rel4-linux-kit 配置 crate
ipc_saver
保存 IPC 的回复能力，以便之后回复
ipcrw
log_impl
macros
mem
seL4 Cap 内存管理模块
page
提供页表操作的结构和方法抽象
root
slot
Slot管理模块

Macros§

init_log
read_types
reply_with
write_values

Structs§

Logger
LoggerBuilder
ObjectAllocator

Attribute Macros§

generate_ipc_send
ipc_trait
ipc_trait_impl