From 9899fed654014cac1d7dc3638d5ca41987571c70 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 1 Dec 2017 15:06:35 +0100
Subject: [PATCH] drivers_managed-pc: support system reset

---
 repos/gems/recipes/raw/drivers_managed-pc/drivers.config | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/gems/recipes/raw/drivers_managed-pc/drivers.config b/repos/gems/recipes/raw/drivers_managed-pc/drivers.config
index 58657dc844..2cfa123512 100644
--- a/repos/gems/recipes/raw/drivers_managed-pc/drivers.config
+++ b/repos/gems/recipes/raw/drivers_managed-pc/drivers.config
@@ -111,7 +111,7 @@
 			<service name="Acpi"/>
 		</provides>
 		<route>
-			<service name="ROM" label="system"> <child name="fs_rom"/> </service>
+			<service name="ROM" label="system"> <parent label="system"/> </service>
 			<service name="ROM" label="acpi">   <child name="fs_rom"/> </service>
 			<service name="Report" label="pci">
 				<child name="fs_report" label="pci_devices"/> </service>
@@ -124,7 +124,7 @@
 			<service name="LOG">     <parent/> </service>
 			<service name="Timer">   <parent/> </service>
 		</route>
-		<config>
+		<config system="yes">
 			<report pci="yes"/>
 			<policy label_prefix="ps2_drv">                <device name="PS2"/> </policy>
 			<policy label_prefix="dynamic -> vesa_fb_drv"> <pci class="VGA"/>   </policy>