genode/base-hw/src/core/timer
Martin Stein 0d803266ea hw: touch kernel scheduler and timer less often
fix #857
fix #855
2013-08-27 16:04:10 +02:00
..
cortex_a9.h hw: touch kernel scheduler and timer less often 2013-08-27 16:04:10 +02:00
exynos_mct.h hw: touch kernel scheduler and timer less often 2013-08-27 16:04:10 +02:00