This website requires JavaScript.
Explore
Help
Sign In
alex
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
Code
Issues
Pull Requests
Releases
Wiki
Activity
Files
431e9f4070f2cf5249888c51f56f66a8c9f771ba
genode
/
repos
/
base
/
include
/
drivers
History
Alexander Weidinger
80037f69ab
Add support for Raspberry Pi 3 (32 Bit) with Fiasco.OC
2019-08-23 15:59:46 +02:00
..
defs
Add support for Raspberry Pi 3 (32 Bit) with Fiasco.OC
2019-08-23 15:59:46 +02:00
timer
make _timer_ticks_to_us 64bit safe
2017-11-30 11:23:07 +01:00
uart
Follow practices suggested by "Effective C++"
2018-01-17 12:14:35 +01:00