Index: kernel/arch/arm32/include/arch/arch.h
===================================================================
--- kernel/arch/arm32/include/arch/arch.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
+++ kernel/arch/arm32/include/arch/arch.h	(revision dcc2c5d1ea2cf6e1487e83ae2b5362fe7b527161)
@@ -53,4 +53,8 @@
 	size_t cnt;
 	utask_t tasks[TASKMAP_MAX_RECORDS];
+} taskmap_t;
+
+typedef struct {
+	taskmap_t taskmap;
 } bootinfo_t;