Index: kernel/arch/arm32/include/arch.h
===================================================================
--- kernel/arch/arm32/include/arch.h	(revision ff685c93ca4666ba47a3b747bd9da4268cc5aa47)
+++ kernel/arch/arm32/include/arch.h	(revision 150385b9e997a42606e5cd52d68c7f1d91ee61d8)
@@ -40,4 +40,6 @@
 #define CPUMAP_MAX_RECORDS   32
 
+#define BOOTINFO_TASK_NAME_BUFLEN 32
+
 #include <typedefs.h>
 
@@ -45,4 +47,5 @@
 	uintptr_t addr;
 	uint32_t size;
+	char name[BOOTINFO_TASK_NAME_BUFLEN];
 } utask_t;
 
Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision ff685c93ca4666ba47a3b747bd9da4268cc5aa47)
+++ kernel/arch/arm32/src/arm32.c	(revision 150385b9e997a42606e5cd52d68c7f1d91ee61d8)
@@ -49,4 +49,5 @@
 #include <userspace.h>
 #include <macros.h>
+#include <string.h>
 
 /** Performs arm32-specific initialization before main_bsp() is called. */
@@ -60,4 +61,6 @@
 		init.tasks[i].addr = bootinfo->tasks[i].addr;
 		init.tasks[i].size = bootinfo->tasks[i].size;
+		strncpy(init.tasks[i].name, bootinfo->tasks[i].name,
+			CONFIG_TASK_NAME_BUFLEN);
 	}
 }