From 95c651b4aa1b9bb3f196414e0451aa1aabfc2dbd Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 10 Apr 2015 09:08:24 +0200
Subject: [PATCH] Enable drivers for hw_x86_64 in create_builddir

---
 tool/create_builddir | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/create_builddir b/tool/create_builddir
index de9b538d1..f328a6b73 100755
--- a/tool/create_builddir
+++ b/tool/create_builddir
@@ -151,7 +151,7 @@ endif
 #
 # Add x86 drivers repositories to x86 build directories
 #
-ifeq ($(filter-out foc_x86_32 foc_x86_64 okl4_x86 nova_x86_32 nova_x86_64 pistachio_x86 fiasco_x86,$(PLATFORM)),)
+ifeq ($(filter-out foc_x86_32 foc_x86_64 okl4_x86 nova_x86_32 nova_x86_64 pistachio_x86 fiasco_x86 hw_x86_64,$(PLATFORM)),)
 $(BUILD_DIR)/etc/build.conf::
 	@cat $(BUILD_CONF).drivers_x86 >> $@
 endif