Constant sel4_config::consts::DEBUG_DISABLE_L1_DCACHE

pub const DEBUG_DISABLE_L1_DCACHE: bool = false;