sel4_config::consts

Constant ROOT_CNODE_SIZE_BITS

Source
pub const ROOT_CNODE_SIZE_BITS: &str = "12";