diff --git a/repos/base-hw/recipes/src/base-hw-muen/acpi_target_mk b/repos/base-hw/recipes/src/base-hw-muen/acpi_target_mk
new file mode 100644
index 000000000..397e400d5
--- /dev/null
+++ b/repos/base-hw/recipes/src/base-hw-muen/acpi_target_mk
@@ -0,0 +1,7 @@
+ifneq ($(INSTALL_DIR),)
+all: $(INSTALL_DIR)/acpi
+endif
+
+$(INSTALL_DIR)/acpi:
+	echo "<acpi><bdf start=\"0\" count=\"16384\" base=\"0xf8000000\"/><drhd/></acpi>" > $@
+
diff --git a/repos/base-hw/recipes/src/base-hw-muen/content.mk b/repos/base-hw/recipes/src/base-hw-muen/content.mk
index 301d54659..288d02b6b 100644
--- a/repos/base-hw/recipes/src/base-hw-muen/content.mk
+++ b/repos/base-hw/recipes/src/base-hw-muen/content.mk
@@ -3,3 +3,9 @@ include $(GENODE_DIR)/repos/base-hw/recipes/src/base-hw_content.inc
 content: enable_board_spec
 enable_board_spec: etc/specs.conf
 	echo "SPECS += muen" >> etc/specs.conf
+
+content: src/acpi/target.mk
+src/acpi/target.mk:
+	mkdir $(dir $@)
+	cp $(REP_DIR)/recipes/src/base-hw-muen/acpi_target_mk $@
+