Constant sel4_config::consts::PLAT_MAAXBOARD

pub const PLAT_MAAXBOARD: bool = false;