sel4_config::consts

Constant PLAT_MAAXBOARD

Source 
pub const PLAT_MAAXBOARD: bool = false;