ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-21 19:45:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

drivers_nic-muen: permit Timer access in platform_drv

Browse Source
This commit is contained in:
Christian Helmuth 2021-01-12 14:12:36 +01:00 committed by Norman Feske
parent a4d5687510
commit 3e73d8d7b6
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/gems/recipes/raw/drivers_nic-muen/drivers.config
View File

@ -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>