Index: kernel/arch/ia64/src/mm/frame.c
===================================================================
--- kernel/arch/ia64/src/mm/frame.c	(revision 2b70a6ef1953ed86c2591cd28bb890b64b5ad143)
+++ kernel/arch/ia64/src/mm/frame.c	(revision 8ce14e316f8179ae2046a471132765e9c9823e2a)
@@ -51,5 +51,5 @@
 #define MINCONF 1
 
-uintptr_t last_frame;
+uintptr_t last_frame = 0;
 
 void frame_arch_init(void)
@@ -71,5 +71,7 @@
 					    max(MINCONF, abase >> FRAME_WIDTH),
 					    0);
-				}	
+				}
+				if (abase + size > last_frame)
+					last_frame = abase + size;
 			}
 		}