denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

hw_x86_64_muen: Include static ACPI report ROM

Browse Source 
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.
This commit is contained in:
Reto Buerki
2016-01-29 17:15:35 +01:00
committed by Christian Helmuth
parent 74dd356dcd
commit f1d2d7251d
2 changed files with 13 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
tool/run/boot_dir/hw
View File

@@ -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