Constant sel4_sys::seL4_RootCNodeCapSlots::seL4_CapBootInfoFrame

pub const seL4_CapBootInfoFrame: Type = 9;