Constant sel4_config::consts::DEBUG_DISABLE_L2_CACHE

pub const DEBUG_DISABLE_L2_CACHE: bool = false;