Move the per-process kernel stack to 0xffffe000

diff --git a/config.h b/config.h
index fc75863162a25c47fb49e3b796aefdd4d539d0c5..8c8cc546acebfa83e62abd2357aa4c286621f02f 100644 (file)
--- a/config.h
+++ b/config.h
@@ -23,6 +23,7 @@
 
 #define CONFIG_KERNEL_HEAP_SIZE     4096
 #define CONFIG_KERNEL_STACK_SIZE    4096
+#define CONFIG_KERNEL_STACK_BASE    ((void*)0xffffe000)
 #define CONFIG_USER_STACK_SIZE      4096
 
 #define CONFIG_APIC     0