ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 02:40:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

drivers_nic-rpi: use usb_net and usb_host

Browse Source 
Ref #3961
This commit is contained in:
Martin Stein 2021-02-18 17:24:10 +01:00 committed by Norman Feske
parent a462a8e741
commit 6937eb7d94
2 changed files with 39 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/gems/recipes/pkg/drivers_nic-rpi/archives
View File

@ -1,3 +1,4 @@
_/src/platform_drv
_/src/usb_drv
_/src/usb_host_drv
_/src/usb_net_drv
_/raw/drivers_nic-rpi

46
repos/gems/recipes/raw/drivers_nic-rpi/drivers.config
View File

@ -13,10 +13,23 @@
<service name="Uplink"/>
</parent-provides>
<start name="rpi_platform_drv" caps="200">
<start name="rpi_new_platform_drv" caps="200">
<resource name="RAM" quantum="2M"/>
<provides> <service name="Platform"/> </provides>
<config/>
<config>
<device name="dwc_otg">
<io_mem address="0x20980000" size="0x10000"/>
<irq number="9"/>
<property name="compatible" value="brcm,bcm2835-usb"/>
<power-domain name="usb"/>
</device>
<policy label_prefix="rpi_usb_host_drv">
<device name="dwc_otg"/>
</policy>
</config>
<route>
<service name="IRQ"> <parent/> </service>
<service name="IO_MEM"> <parent/> </service>
@ -29,20 +42,35 @@
</route>
</start>
<start name="rpi_usb_drv" caps="120">
<resource name="RAM" quantum="20M"/>
<config mode="uplink_client" ehci="yes"> <nic mac="02:00:00:00:01:01"/> </config>
<start name="rpi_usb_host_drv" caps="120">
<resource name="RAM" quantum="10M"/>
<provides> <service name="Usb"/> </provides>
<config bios_handoff="yes">
<policy label_prefix="usb_net_drv" vendor_id="0x0424" product_id="0xec00"/> }
</config>
<route>
<service name="IRQ"> <parent/> </service>
<service name="IO_MEM"> <parent/> </service>
<service name="ROM"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="RM"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="LOG"> <parent/> </service>
<service name="Timer"> <parent/> </service>
<service name="Uplink"> <parent/> </service>
<service name="Platform"> <child name="rpi_platform_drv"/> </service>
<service name="Platform"> <child name="rpi_new_platform_drv"/> </service>
</route>
</start>
<start name="usb_net_drv" caps="120">
<resource name="RAM" quantum="15M"/>
<config mode="uplink_client" mac="02:00:00:00:01:01" />
<route>
<service name="ROM"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="RM"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="LOG"> <parent/> </service>
<service name="Timer"> <parent/> </service>
<service name="Uplink"> <parent/> </service>
<service name="Usb"> <child name="rpi_usb_host_drv"/> </service>
</route>
</start>