Constant sel4_common::sel4_config::CONFIG_KERNEL_STACK_BITS

pub const CONFIG_KERNEL_STACK_BITS: usize = 12;