alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

platform_drv: skip assign device if iommu missing

Browse Source 
Avoid red messages in the log on machines with no IOMMU, which recurring
confuse people.

Issue #2801
This commit is contained in:
Alexander Boettcher
2018-05-08 16:00:11 +02:00
committed by Christian Helmuth
parent 24e6b677bd
commit 501d82b99f
3 changed files with 57 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tool/run/boot_dir/hw
View File

@@ -37,7 +37,7 @@ proc run_boot_dir {binaries} {
# generate static ACPI report for platform driver on Muen
if {[have_spec "muen"]} {
set fh [open "bin/acpi" "WRONLY CREAT TRUNC"]
puts $fh "<acpi><bdf start=\"0\" count=\"16384\" base=\"0xf8000000\"/></acpi>"
puts $fh "<acpi><bdf start=\"0\" count=\"16384\" base=\"0xf8000000\"/><drhd/></acpi>"
close $fh
}