From 1030ac1c670dee17b376cbba204be2111c69b1d5 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 21 Jun 2012 00:32:16 +0200
Subject: [PATCH] Add dde_linux to build.conf template for panda

---
 tool/builddir/etc/build.conf.drivers_arm | 5 +++++
 tool/create_builddir                     | 8 ++++++++
 2 files changed, 13 insertions(+)
 create mode 100644 tool/builddir/etc/build.conf.drivers_arm

diff --git a/tool/builddir/etc/build.conf.drivers_arm b/tool/builddir/etc/build.conf.drivers_arm
new file mode 100644
index 000000000..940e0e058
--- /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 23f8ce778..d3984f17b 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
 #