EXPORT_PMU_USER

sel4_config::consts

Constant EXPORT_PMU_USER 

Source 
pub const EXPORT_PMU_USER: bool = false;