Constant sel4_config::consts::PLAT_FVP

pub const PLAT_FVP: bool = false;