Constant sel4_config::consts::KERNEL_STACK_BITS

source · 
pub const KERNEL_STACK_BITS: &str = "12";