diff --git a/tool/create_builddir b/tool/create_builddir index 8ba8870077..3e8170c582 100755 --- a/tool/create_builddir +++ b/tool/create_builddir @@ -160,6 +160,7 @@ foc_x86_32:: foc_x86_64:: @echo "SPECS = genode foc_x86_64" > $(BUILD_DIR)/etc/specs.conf + @echo "SPECS += acpi" >> $(BUILD_DIR)/etc/specs.conf nova_x86_32:: @echo "SPECS = genode nova_x86_32" > $(BUILD_DIR)/etc/specs.conf @@ -167,6 +168,7 @@ nova_x86_32:: nova_x86_64:: @echo "SPECS = genode nova_x86_64" > $(BUILD_DIR)/etc/specs.conf + @echo "SPECS += acpi" >> $(BUILD_DIR)/etc/specs.conf foc_pbxa9:: @echo "SPECS = genode foc_pbxa9" > $(BUILD_DIR)/etc/specs.conf