PLAT_MAAXBOARD

sel4_config::consts

Constant PLAT_MAAXBOARD 

Source 
pub const PLAT_MAAXBOARD: bool = false;