This website requires JavaScript.
Explore
Help
Sign In
ehmry
/
genode
Watch
1
Star
0
Fork
You've already forked genode
0
Code
Issues
Pull Requests
Releases
Wiki
Activity
ed2d54ed87
genode
/
base-hw
/
src
/
core
/
rpi
History
Stefan Kalkowski
ed2d54ed87
hw: make core target require 'hw' spec (
fix
#599
)
2014-05-07 10:37:39 +02:00
..
pic.h
hw: inter-processor interrupt on remote scheduling
2014-03-14 13:17:36 +01:00
platform_support.cc
hw: don't implement IRQ usage policy in core
2014-04-14 12:32:30 +02:00
processor_driver.h
hw: rename <spec>::Cpu in <spec>::Processor_driver
2014-03-04 19:04:32 +01:00
target.mk
hw: make core target require 'hw' spec (
fix
#599
)
2014-05-07 10:37:39 +02:00
timer.h
hw_arndale: idle threads on secondary processors
2014-03-04 15:03:43 +01:00