MAX_NUM_NODES

sel4_config::consts

Constant MAX_NUM_NODES 

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