From f1d2d7251d4b01b95c5aede689b1a2ff7e89529d Mon Sep 17 00:00:00 2001 From: Reto Buerki Date: Fri, 29 Jan 2016 17:15:35 +0100 Subject: [PATCH] hw_x86_64_muen: Include static ACPI report ROM Enable the ACPI functionality in the platform_drv on hw_x86_64_muen and provide a simple generated XML report as ROM session in order to make the PCI configuration space available. This is a requirement to implement support for MSI on hw_x86_64_muen. --- repos/base/run/platform_drv.inc | 11 ++++++----- tool/run/boot_dir/hw | 7 +++++++ 2 files changed, 13 insertions(+), 5 deletions(-) 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 {} { } - if {[have_spec acpi] || [have_spec arm]} { + if {[have_spec acpi] || [have_spec arm] || [have_spec hw_x86_64_muen]} { append 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 "" + close $fh + } + # strip binaries copy_and_strip_genode_binaries_to_run_dir $binaries