Constant sel4_config::consts::MAX_NUM_NODES

pub const MAX_NUM_NODES: &str = "1";