sel4_config::consts

Constant PLAT_IMX7_SABRE

Source 
pub const PLAT_IMX7_SABRE: bool = false;