Constant sel4_config::consts::NUM_DOMAINS

pub const NUM_DOMAINS: &str = "1";