genode/repos/gems/recipes/pkg/drivers_nic-rpi/archives

mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 07:22:25 +00:00
_/src/platform_drv
_/src/usb_host_drv
_/src/usb_net_drv
_/raw/drivers_nic-rpi
depot: add recipe for driver_nic-rpi Ref #3180 2019-04-23 09:10:12 +00:00			`_/src/platform_drv`
drivers_nic-rpi: use usb_net and usb_host Ref #3961 2021-02-18 16:24:10 +00:00			`_/src/usb_host_drv`
			`_/src/usb_net_drv`
depot: add recipe for driver_nic-rpi Ref #3180 2019-04-23 09:10:12 +00:00			`_/raw/drivers_nic-rpi`