This website requires JavaScript.
Explore
Help
Sign In
ehmry
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
Code
Issues
Pull Requests
Releases
Wiki
Activity
883aa83e62
genode
/
dde_linux
/
src
History
Norman Feske
b7b8d22bc3
dde_linux/rpi: Enable USB power on startup
...
Needed when booting Genode directly from SD card w/o u-boot.
2013-11-25 09:46:09 +01:00
..
drivers
net: net_stat instrumented version of usb_drv
2013-05-10 11:16:10 +02:00
lib
/usb
dde_linux/rpi: Enable USB power on startup
2013-11-25 09:46:09 +01:00