Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision ff685c93ca4666ba47a3b747bd9da4268cc5aa47)
+++ kernel/arch/ia64/src/ia64.c	(revision 4f22731f721b5d57bb8dbc8af89e4b598da201f2)
@@ -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);
 	}
 }
