Constant sel4_config::consts::DEBUG_DISABLE_L1_ICACHE

pub const DEBUG_DISABLE_L1_ICACHE: bool = false;