genode/repos/base-hw/src
Martin Stein e63092f1dd hw & cortex_a9: fix scheduling-timer speed
The estimation of the input clock of the Cortex A9 Private Timer module
was pretty miserable at every Cortex A9 board.

Fixes #1341
2015-01-06 15:22:07 +01:00
..
base thread API & CPU session: accounting of CPU quota 2014-11-28 12:02:37 +01:00
core hw & cortex_a9: fix scheduling-timer speed 2015-01-06 15:22:07 +01:00
test thread API & CPU session: accounting of CPU quota 2014-11-28 12:02:37 +01:00