From b88959f60cd622709d3e26364789e2bbc1d1a086 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Wed, 5 Oct 2022 16:18:37 +0200
Subject: [PATCH] sculpt: use pc_platform_drv instead of generic one

Ref genodelabs/genode#4578
---
 repos/gems/recipes/pkg/drivers_managed-pc/archives | 2 +-
 repos/gems/sculpt/drivers/pc                       | 8 +++++---
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/repos/gems/recipes/pkg/drivers_managed-pc/archives b/repos/gems/recipes/pkg/drivers_managed-pc/archives
index 9dbf862bd2..8a7135141d 100644
--- a/repos/gems/recipes/pkg/drivers_managed-pc/archives
+++ b/repos/gems/recipes/pkg/drivers_managed-pc/archives
@@ -1,4 +1,4 @@
-_/src/platform_drv
+_/src/pc_platform_drv
 _/src/pci_decode
 _/src/acpi_drv
 _/src/ps2_drv
diff --git a/repos/gems/sculpt/drivers/pc b/repos/gems/sculpt/drivers/pc
index cb7f0e390c..340ea0ab2d 100644
--- a/repos/gems/sculpt/drivers/pc
+++ b/repos/gems/sculpt/drivers/pc
@@ -40,6 +40,7 @@
 		<provides> <service name="Report"/> <service name="ROM"/> </provides>
 		<config verbose="no">
 			<policy label="pci_decode -> system"            report="acpi_drv -> acpi"/>
+			<policy label="platform_drv -> acpi"            report="acpi_drv -> acpi"/>
 			<policy label="rom_filter -> pci_devices"       report="pci_decode -> devices"/>
 			<policy label="driver_manager -> pci_devices"   report="platform_drv -> devices"/>
 			<policy label="usb_drv -> config"               report="driver_manager -> usb_drv.config"/>
@@ -131,12 +132,13 @@
 	</start>
 
 	<start name="platform_drv" caps="400" managing_system="yes">
+		<binary name="pc_platform_drv"/>
 		<resource name="RAM" quantum="4M"/>
-		<provides>
-			<service name="Platform"/>
-		</provides>
+		<provides> <service name="Platform"/> </provides>
 		<route>
+			<service name="ROM" label="system">  <parent label="system"/> </service>
 			<service name="ROM" label="devices"> <child name="rom_filter"/> </service>
+			<service name="ROM" label="acpi">    <child name="report_rom"/> </service>
 			<service name="Report" label="devices"> <child name="report_rom"/> </service>
 			<service name="IRQ">     <parent/> </service>
 			<service name="IO_MEM">  <parent/> </service>