Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision c79800f66d9e4a8fc017a7022699c3e34b795b26)
+++ kernel/Makefile	(revision 22b5924d81becc4cd7e73d3a891a37ce1c5f1230)
@@ -197,4 +197,5 @@
 	generic/src/console/console.c \
 	generic/src/cpu/cpu.c \
+	generic/src/cpu/cpu_mask.c \
 	generic/src/ddi/ddi.c \
 	generic/src/ddi/irq.c \