From 3420cc0b71df03a57696067dca12f7c4f6b47a0c Mon Sep 17 00:00:00 2001 From: Reto Buerki Date: Tue, 14 Apr 2015 11:26:19 +0200 Subject: [PATCH] Add hw_x86_64_muen to create_builddir tool --- tool/create_builddir | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tool/create_builddir b/tool/create_builddir index 82a957c16a..fd7d46ed0b 100755 --- a/tool/create_builddir +++ b/tool/create_builddir @@ -37,6 +37,7 @@ usage: @echo " 'hw_odroid_xu'" @echo " 'hw_rpi'" @echo " 'hw_x86_64'" + @echo " 'hw_x86_64_muen'" @echo " 'foc_x86_32'" @echo " 'foc_x86_64'" @echo " 'foc_pbxa9'" @@ -152,7 +153,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 hw_x86_64 sel4_x86_32,$(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 hw_x86_64_muen sel4_x86_32,$(PLATFORM)),) $(BUILD_DIR)/etc/build.conf:: @cat $(BUILD_CONF).drivers_x86 >> $@ endif @@ -262,6 +263,9 @@ hw_x86_64:: @echo "SPECS = genode hw_x86_64" > $(BUILD_DIR)/etc/specs.conf @echo "SPECS += acpi" >> $(BUILD_DIR)/etc/specs.conf +hw_x86_64_muen:: + @echo "SPECS = genode hw_x86_64_muen" > $(BUILD_DIR)/etc/specs.conf + lx_hybrid_x86:: @echo "CROSS_DEV_PREFIX =" > $(BUILD_DIR)/etc/tools.conf @echo "SPECS += always_hybrid" >> $(BUILD_DIR)/etc/specs.conf