sel4_config::consts

Constant DEBUG_DISABLE_L1_ICACHE

Source 
pub const DEBUG_DISABLE_L1_ICACHE: bool = false;