From 44617b8c9d70fd6f7290ea16aa05f984434e37dc Mon Sep 17 00:00:00 2001
From: Johannes Schlatow <johannes.schlatow@genode-labs.com>
Date: Tue, 29 Aug 2023 18:12:06 +0200
Subject: [PATCH] sculpt: route iommu report from platform driver

genodelabs/genode#5002
---
 repos/gems/sculpt/drivers/pc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/gems/sculpt/drivers/pc b/repos/gems/sculpt/drivers/pc
index 74712d8ba6..a549b56c12 100644
--- a/repos/gems/sculpt/drivers/pc
+++ b/repos/gems/sculpt/drivers/pc
@@ -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>