sel4_config::consts

Constant ARM_ICACHE_VIPT

Source
pub const ARM_ICACHE_VIPT: bool = true;