Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision 4b241f380e0451bac9635fb18c9249e09909f5f6)
+++ kernel/generic/include/config.h	(revision a212307ca711c2759f33236c7ca554a42a72d9cd)
@@ -41,9 +41,12 @@
 #define STACK_SIZE  PAGE_SIZE
 
-#define CONFIG_INIT_TASKS  32
+#define CONFIG_INIT_TASKS 	32
+
+#define CONFIG_TASK_NAME_BUFLEN 32
 
 typedef struct {
 	uintptr_t addr;
 	size_t size;
+	char name[CONFIG_TASK_NAME_BUFLEN];
 } init_task_t;