Constant sel4_common::sel4_config::CONFIG_NUM_DOMAINS

source · 
pub const CONFIG_NUM_DOMAINS: usize = 1;