Index: arch/ia64/src/ia64.c
===================================================================
--- arch/ia64/src/ia64.c	(revision c034b164fce2965ed6484d251876ad7e153978a3)
+++ arch/ia64/src/ia64.c	(revision f9b2f30587ff19dfa2b57bd8c9c9c23be81074b5)
@@ -48,5 +48,5 @@
 {
 	/* Setup usermode init tasks. */
-	init.cnt = 5;
+	init.cnt = 6;
 	init.tasks[0].addr = INIT0_ADDRESS;
 	init.tasks[0].size = INIT0_SIZE;
@@ -59,4 +59,6 @@
 	init.tasks[4].addr = INIT0_ADDRESS + 0x1000000;
 	init.tasks[4].size = INIT0_SIZE;
+	init.tasks[5].addr = INIT0_ADDRESS + 0x1400000;
+	init.tasks[5].size = INIT0_SIZE;
 }