diff --git a/tool/create_builddir b/tool/create_builddir index f328a6b73b..31f7555647 100755 --- a/tool/create_builddir +++ b/tool/create_builddir @@ -256,6 +256,7 @@ hw_odroid_xu:: hw_x86_64:: @echo "SPECS = genode hw_x86_64" > $(BUILD_DIR)/etc/specs.conf + @echo "SPECS += acpi" >> $(BUILD_DIR)/etc/specs.conf lx_hybrid_x86:: @echo "CROSS_DEV_PREFIX =" > $(BUILD_DIR)/etc/tools.conf