Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision 06f96234f33ae4b1e97f70d3f777e625b701a95f)
+++ kernel/arch/ppc32/src/ppc32.c	(revision bc0bb7c9cbcef5676b1d32106664a9c51928848d)
@@ -47,4 +47,5 @@
 #include <arch/drivers/pic.h>
 #include <macros.h>
+#include <string.h>
 
 #define IRQ_COUNT  64
@@ -62,4 +63,6 @@
 		init.tasks[i].addr = PA2KA(bootinfo.taskmap.tasks[i].addr);
 		init.tasks[i].size = bootinfo.taskmap.tasks[i].size;
+		strncpy(init.tasks[i].name, bootinfo.taskmap.tasks[i].name,
+			CONFIG_TASK_NAME_BUFLEN);
 	}
 }