Index: boot/arch/arm32/Makefile.inc
===================================================================
--- boot/arch/arm32/Makefile.inc	(revision 2df85611a20bb700be6da92f7fd60c3916b8e314)
+++ boot/arch/arm32/Makefile.inc	(revision 09a0a8f0999e95475a4a5baea3f5192fb662f4db)
@@ -61,4 +61,7 @@
 endif
 
+RD_DRVS += \
+	infrastructure/rootamdm37x
+
 SOURCES = \
 	arch/$(BARCH)/src/asm.S \