From 35f767ec382ec921ccc2c6814d30c11f7336c956 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Thu, 10 Jan 2013 23:04:22 +0100 Subject: [PATCH] Add acpi spec value for nova_x86_32 and foc_x86_32 --- tool/create_builddir | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/tool/create_builddir b/tool/create_builddir index 8d97b372b..d19d7528c 100755 --- a/tool/create_builddir +++ b/tool/create_builddir @@ -154,16 +154,18 @@ codezero_vpb926:: @echo "SPECS += codezero_platform_vpb926" > $(BUILD_DIR)/etc/specs.conf foc_x86_32:: - @echo "SPECS = genode foc_x86_32" > $(BUILD_DIR)/etc/specs.conf + @echo "SPECS = genode foc_x86_32" > $(BUILD_DIR)/etc/specs.conf + @echo "SPECS += acpi" >> $(BUILD_DIR)/etc/specs.conf foc_x86_64:: @echo "SPECS = genode foc_x86_64" > $(BUILD_DIR)/etc/specs.conf nova_x86_32:: - @echo "SPECS = genode nova_x86_32 x86_32" > $(BUILD_DIR)/etc/specs.conf + @echo "SPECS = genode nova_x86_32" > $(BUILD_DIR)/etc/specs.conf + @echo "SPECS += acpi" >> $(BUILD_DIR)/etc/specs.conf nova_x86_64:: - @echo "SPECS = genode nova_x86_64 x86_64" > $(BUILD_DIR)/etc/specs.conf + @echo "SPECS = genode nova_x86_64" > $(BUILD_DIR)/etc/specs.conf foc_pbxa9:: @echo "SPECS = genode foc_pbxa9" > $(BUILD_DIR)/etc/specs.conf