sel4_config::consts

Constant MAX_RMRR_ENTRIES

Source 
pub const MAX_RMRR_ENTRIES: &str = "1";