Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision 6a8ddd3712c234be2a222a7dc9d7803bc9c667b0)
+++ kernel/arch/arm32/Makefile.inc	(revision 7f9d97f3ef14161b0334989eea3a64581e2c86cc)
@@ -65,4 +65,5 @@
 	arch/$(KARCH)/src/mm/tlb.c \
 	arch/$(KARCH)/src/mm/page_fault.c \
+	arch/$(KARCH)/src/atomic.c \
 	arch/$(KARCH)/src/ras.c