Constant sel4::init_thread::slot::BOOT_INFO_FRAME

source ยท 
pub const BOOT_INFO_FRAME: Slot<Granule>;
Expand description

Corresponds to seL4_CapBootInfoFrame.