diff --git a/tool/builddir/etc/build.conf.drivers_arm b/tool/builddir/etc/build.conf.drivers_arm
new file mode 100644
index 0000000000..940e0e0581
--- /dev/null
+++ b/tool/builddir/etc/build.conf.drivers_arm
@@ -0,0 +1,5 @@
+
+#
+# Drivers ported from the Linux kernel (USB)
+#
+#REPOSITORIES += $(GENODE_DIR)/dde_linux
diff --git a/tool/create_builddir b/tool/create_builddir
index 23f8ce778e..d3984f17b4 100755
--- a/tool/create_builddir
+++ b/tool/create_builddir
@@ -126,6 +126,14 @@ $(BUILD_DIR)/etc/build.conf::
 	@cat $(BUILD_CONF).drivers_x86 >> $@
 endif
 
+#
+# Add ARM drivers repositories to ARM build directories
+#
+ifeq ($(filter-out foc_panda,$(PLATFORM)),)
+$(BUILD_DIR)/etc/build.conf::
+	@cat $(BUILD_CONF).drivers_arm >> $@
+endif
+
 #
 # Generic platform dependencies
 #