Constant BOOT_INFO_FRAME 

pub const BOOT_INFO_FRAME: Slot<Granule>;

Corresponds to seL4_CapBootInfoFrame.