ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-30 02:28:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
10,014 Commits 2 Branches 70 Tags 87 MiB
efbed6f7bf
Commit Graph

4 Commits

Author SHA1 Message Date
Stefan Kalkowski
d1cf9c86b8 os: introduce device type in platform driver 
* Move "compatible" property value to "type" attribute
* Turn device_by_property helper in Platform::Connection into device_by_type

Fix #4074
 2021-04-20 12:10:58 +02:00
Martin Stein
6937eb7d94 drivers_nic-rpi: use usb_net and usb_host 
Ref #3961
 2021-02-23 12:07:16 +01:00
Martin Stein
691be92046 Don't use the NIC server mode of NIC drivers 
Issue #3961
 2021-02-23 11:53:41 +01:00
Stefan Kalkowski
ff031d792c depot: add recipe for driver_nic-rpi 
Ref #3180
 2019-05-16 13:11:00 +02:00