Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision 4b241f380e0451bac9635fb18c9249e09909f5f6)
+++ kernel/generic/include/config.h	(revision 926d6caf4a85770541edc3aa0fa38fba17e14e63)
@@ -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;