ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 21:27:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: route iommu report from platform driver

Browse Source 
genodelabs/genode#5002
This commit is contained in:
Johannes Schlatow 2023-08-29 18:12:06 +02:00
parent 855147a021
commit 44617b8c9d
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/gems/sculpt/drivers/pc
View File

@ -124,6 +124,7 @@
<service name="ROM" label="devices"> <child name="report_rom"/> </service>
<service name="ROM" label="acpi"> <child name="report_rom"/> </service>
<service name="Report" label="devices"> <child name="report_rom"/> </service>
<service name="Report" label="iommu"> <parent label="iommu"/> </service>
<service name="IRQ"> <parent/> </service>
<service name="IO_MEM"> <parent/> </service>
<service name="IO_PORT"> <parent/> </service>
@ -134,7 +135,7 @@
<service name="Timer"> <parent/> </service>
</route>
<config>
<report devices="yes"/>
<report devices="yes" iommu="yes"/>
<policy label_prefix="ps2_drv"> <device name="ps2"/> </policy>
<policy label_prefix="dynamic -> vesa_fb_drv" info="yes"> <pci class="VGA"/> </policy>
<policy label_prefix="dynamic -> ahci_drv"> <pci class="AHCI"/> </policy>