ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-29 10:08:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
10,027 Commits 2 Branches 70 Tags 87 MiB
6caa74a18e
Commit Graph

7 Commits

Author SHA1 Message Date
Norman Feske
efbed6f7bf depot: update recipe hashes 2021-04-20 12:10:58 +02:00
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
Norman Feske
64165d829e depot: update recipe hashes 2021-02-23 12:07:18 +01: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
Christian Helmuth
2b183f9497 depot: update recipe hashes 2019-05-29 10:20:52 +02:00
Stefan Kalkowski
ff031d792c depot: add recipe for driver_nic-rpi 
Ref #3180
 2019-05-16 13:11:00 +02:00