Constant sel4_config::consts::PLAT_BCM2711

pub const PLAT_BCM2711: bool = false;