depot: add recipe for drivers_nic-zynq

Ref #3180
This commit is contained in:
Stefan Kalkowski 2019-04-15 15:22:04 +02:00 committed by Christian Helmuth
parent 8dd618d67f
commit 5182224c2b
9 changed files with 42 additions and 0 deletions

View File

@ -0,0 +1,3 @@
Device drivers needed for scenarios
using one network interface

View File

@ -0,0 +1,2 @@
_/src/zynq_nic_drv
_/raw/drivers_nic-zynq

View File

@ -0,0 +1 @@
2019-04-15 31b563febe2666bbc8763a4d61e8f804d4c466bd

View File

@ -0,0 +1,4 @@
content: drivers.config
drivers.config:
cp $(REP_DIR)/recipes/raw/drivers_nic-zynq/$@ $@

View File

@ -0,0 +1,25 @@
<config>
<parent-provides>
<service name="IRQ"/>
<service name="IO_MEM"/>
<service name="ROM"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
<service name="Timer"/>
</parent-provides>
<default caps="100"/>
<service name="Nic">
<default-policy> <child name="nic_drv"/> </default-policy> </service>
<start name="nic_drv">
<binary name="zynq_nic_drv"/>
<resource name="RAM" quantum="4M"/>
<provides> <service name="Nic"/> </provides>
<config/>
<route> <any-service> <parent/> </any-service> </route>
</start>
</config>

View File

@ -0,0 +1 @@
2019-04-12 704ecbcc7f58039e5dc47b1bc43989de86c6d67d

View File

@ -0,0 +1,2 @@
SRC_DIR = src/drivers/nic/spec/zynq
include $(GENODE_DIR)/repos/base/recipes/src/content.inc

View File

@ -0,0 +1 @@
2019-04-14 a29a1ae08ee89d6275e133588593495064ebdd95

View File

@ -0,0 +1,3 @@
base
os
nic_session