diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc
index 5d35ceee0..4ed5c8cd8 100644
--- a/repos/base/run/platform_drv.inc
+++ b/repos/base/run/platform_drv.inc
@@ -22,10 +22,11 @@ proc append_platform_drv_build_components {} {
 proc append_platform_drv_boot_modules {} {
 	global boot_modules
 
-	lappend_if [have_platform_drv] boot_modules platform_drv
-	lappend_if [have_spec acpi]    boot_modules acpi_drv
-	lappend_if [have_spec acpi]    boot_modules report_rom
-	lappend_if [have_spec nova]    boot_modules device_pd
+	lappend_if [have_platform_drv]        boot_modules platform_drv
+	lappend_if [have_spec acpi]           boot_modules acpi_drv
+	lappend_if [have_spec acpi]           boot_modules report_rom
+	lappend_if [have_spec nova]           boot_modules device_pd
+	lappend_if [have_spec hw_x86_64_muen] boot_modules acpi
 }
 
 proc platform_drv_policy {} {
@@ -121,7 +122,7 @@ proc append_platform_drv_config {} {
 			<any-service> <parent/> </any-service>
 		</route>}
 
-		if {[have_spec acpi] || [have_spec arm]} {
+		if {[have_spec acpi] || [have_spec arm] || [have_spec hw_x86_64_muen]} {
 
 		append config {
 		<config>}
diff --git a/tool/run/boot_dir/hw b/tool/run/boot_dir/hw
index 0030d6429..92ea3321b 100644
--- a/tool/run/boot_dir/hw
+++ b/tool/run/boot_dir/hw
@@ -30,6 +30,13 @@ proc run_boot_dir {binaries} {
 		set core_target "core"
 	}
 
+	# generate static ACPI report for platform driver on Muen
+	if {[have_spec "hw_x86_64_muen"]} {
+		set fh [open "bin/acpi" "WRONLY CREAT TRUNC"]
+		puts $fh "<acpi><bdf start=\"0\" count=\"16384\" base=\"0xf8000000\"/></acpi>"
+		close $fh
+	}
+
 	# strip binaries
 	copy_and_strip_genode_binaries_to_run_dir $binaries