PLAT_ARIANE

sel4_config::consts

Constant PLAT_ARIANE 

Source 
pub const PLAT_ARIANE: bool = false;