static KERNEL_STACK: [KernelStack; 4]