Constant sel4_common::sel4_config::CONFIG_MAX_NUM_NODES

pub const CONFIG_MAX_NUM_NODES: usize = 1;