sel4_config::consts

Constant MAX_NUM_NODES

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