Constant KERNEL_STACK_SIZE

pub const KERNEL_STACK_SIZE: u64 = 0x4000;