From b7bb6869b4160fe394ef594e2af78ff8d01341ee Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 13 Oct 2021 14:45:24 +0200
Subject: [PATCH] drivers_interactive-pc: remove platform service

The platform driver should better stay internal to the drivers subsystem
to reinforce the consistency with other drivers_interactive packages.
---
 .../os/recipes/raw/drivers_interactive-pc/drivers.config  | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
index c9afd4b57c..44e4bbd65e 100644
--- a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
@@ -16,9 +16,6 @@
 
 	<default caps="60"/>
 
-	<service name="Platform">
-		<default-policy> <child name="platform_drv"/> </default-policy> </service>
-
 	<start name="acpi_drv" caps="250">
 		<resource name="RAM" quantum="4M"/>
 		<route>
@@ -74,11 +71,6 @@
 			<policy label_prefix="usb_drv">  <pci class="USB"/> </policy>
 			<policy label_prefix="nic_drv">  <pci class="ETHERNET"/> </policy>
 			<policy label_prefix="wifi_drv"> <pci class="WIFI"/> </policy>
-			<policy label_prefix="intel_gpu_drv">
-				<pci class="VGA"/>
-				<pci bus="0" device="0" function="0"/>
-				<pci class="ISABRIDGE"/>
-			</policy>
 		</config>
 	</start>