Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision b8bb2bca6faf41e1de3003ab6fccd7a856693d43)
+++ kernel/arch/arm32/Makefile.inc	(revision 205261f43889bacefc7f9533f7d8562779a303fb)
@@ -85,4 +85,8 @@
 endif
 
+ifeq ($(MACHINE),beaglebone)
+        ARCH_SOURCES += arch/$(KARCH)/src/mach/beaglebone/beaglebone.c
+endif
+
 ifeq ($(CONFIG_PL050),y)
 	ARCH_SOURCES += genarch/src/drivers/pl050/pl050.c