Constant sel4_config::consts::MAX_NUM_BOOTINFO_UNTYPED_CAPS

pub const MAX_NUM_BOOTINFO_UNTYPED_CAPS: &str = "230";