Constant sel4_config::consts::AARCH64_USER_CACHE_ENABLE

pub const AARCH64_USER_CACHE_ENABLE: bool = true;