ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

depot: add recipe for drivers_nic-linux 

Ref #3180
This commit is contained in:
Stefan Kalkowski 2019-04-24 16:03:16 +02:00 committed by Christian Helmuth
parent 4fdbb1b1ad
commit 5b5e8a9bd4
6 changed files with 36 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/os/recipes/pkg/drivers_nic-linux/README Normal file
View File

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

2
repos/os/recipes/pkg/drivers_nic-linux/archives Normal file
View File

@ -0,0 +1,2 @@
_/src/linux_nic_drv
_/raw/drivers_nic-linux

1
repos/os/recipes/pkg/drivers_nic-linux/hash Normal file
View File

@ -0,0 +1 @@
2019-04-24 94894e975d6ed6b1c9ae8e5ae8af819d95f9533c

4
repos/os/recipes/raw/drivers_nic-linux/content.mk Normal file
View File

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

25
repos/os/recipes/raw/drivers_nic-linux/drivers.config Normal file
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" ld="no">
<binary name="linux_nic_drv"/>
<resource name="RAM" quantum="4M"/>
<provides> <service name="Nic"/> </provides>
<config/>
<route> <any-service> <parent/> </any-service> </route>
</start>
</config>

1
repos/os/recipes/raw/drivers_nic-linux/hash Normal file
View File

@ -0,0 +1 @@
2019-04-24 53add9a7dad47e6e3d1e99337cb4abbb16dbe9ec