From 1ff8a55d7c17b0fd793274d5c8349bd9876a1962 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 15 May 2015 10:54:14 +0200
Subject: [PATCH] create_builddir: use acpi spec on hw_x86_64

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

diff --git a/tool/create_builddir b/tool/create_builddir
index f328a6b73..31f755564 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