sel4_config::consts

Constant NUM_DOMAINS

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