sel4_config::consts

Constant DEBUG_DISABLE_L2_CACHE

Source 
pub const DEBUG_DISABLE_L2_CACHE: bool = false;