From 3e73d8d7b619a736d91c171a389484b92db6a628 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 12 Jan 2021 14:12:36 +0100
Subject: [PATCH] drivers_nic-muen: permit Timer access in platform_drv

---
 repos/gems/recipes/raw/drivers_nic-muen/drivers.config | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/repos/gems/recipes/raw/drivers_nic-muen/drivers.config b/repos/gems/recipes/raw/drivers_nic-muen/drivers.config
index bf4d923fae..b7efdef6c0 100644
--- a/repos/gems/recipes/raw/drivers_nic-muen/drivers.config
+++ b/repos/gems/recipes/raw/drivers_nic-muen/drivers.config
@@ -17,7 +17,7 @@
 	<service name="Nic">
 		<default-policy> <child name="nic_drv"/> </default-policy> </service>
 
-	<start name="platform_drv" caps="200" managing_system="yes">
+	<start name="platform_drv" caps="210" managing_system="yes">
 		<resource name="RAM" quantum="3M"/>
 		<provides>
 			<service name="Platform"/>
@@ -31,13 +31,14 @@
 			<service name="PD">      <parent/> </service>
 			<service name="CPU">     <parent/> </service>
 			<service name="LOG">     <parent/> </service>
+			<service name="Timer">   <parent/> </service>
 		</route>
 		<config>
 			<policy label_prefix="nic_drv"> <pci class="ETHERNET"/> </policy>
 		</config>
 	</start>
 
-	<start name="nic_drv">
+	<start name="nic_drv" caps="120">
 		<binary name="ipxe_nic_drv"/>
 		<resource name="RAM" quantum="4M"/>
 		<provides> <service name="Nic"/> </provides>