Constant sel4_config::consts::KERNEL_STACK_BITS

pub const KERNEL_STACK_BITS: &str = "12";