Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/amd64/src/mm/page.c	(revision d7e3fa668f022eef3ff46bde138d8a874b93f18d)
@@ -100,11 +100,13 @@
 		 *   because some are needed for init )
 		 */
-		for (cur = PA2KA_CODE(0); cur < config.base+config.kernel_size; cur += FRAME_SIZE) {
+		for (cur = PA2KA_CODE(0); cur < config.base + config.kernel_size; cur += FRAME_SIZE)
 			page_mapping_insert(AS_KERNEL, cur, KA2PA(cur), identity_flags);
-		}
-		for (i=0; i < init.cnt; i++) {
-			for (cur=init.tasks[i].addr;cur < init.tasks[i].size; cur += FRAME_SIZE) {
+		
+		for (cur = config.stack_base; cur < config.stack_base + config.stack_size; cur += FRAME_SIZE)
+			page_mapping_insert(AS_KERNEL, cur, KA2PA(cur), identity_flags);
+		
+		for (i = 0; i < init.cnt; i++) {
+			for (cur = init.tasks[i].addr; cur < init.tasks[i].addr + init.tasks[i].size; cur += FRAME_SIZE)
 				page_mapping_insert(AS_KERNEL, PA2KA_CODE(KA2PA(cur)), KA2PA(cur), identity_flags);
-			}
 		}