Constant sel4_config::consts::ROOT_CNODE_SIZE_BITS

pub const ROOT_CNODE_SIZE_BITS: &str = "12";