Constant sel4_common::sel4_config::tcbCNodeEntries

source · 
pub const tcbCNodeEntries: usize = 5;