Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision ff685c93ca4666ba47a3b747bd9da4268cc5aa47)
+++ kernel/arch/ia64/src/ia64.c	(revision bc0bb7c9cbcef5676b1d32106664a9c51928848d)
@@ -63,4 +63,5 @@
 #include <print.h>
 #include <sysinfo/sysinfo.h>
+#include <string.h>
 
 /* NS16550 as a COM 1 */
@@ -85,4 +86,6 @@
 		    VRN_MASK;
 		init.tasks[i].size = bootinfo->taskmap.tasks[i].size;
+		strncpy(init.tasks[i].name, bootinfo->taskmap.tasks[i].name,
+			CONFIG_TASK_NAME_BUFLEN);
 	}
 }
