sel4_config::consts

Constant KERNEL_STACK_BITS

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