genode/repos/base/include/platform/panda/drivers
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
..
board_base.h hw & cortex_a9: fix scheduling-timer speed 2015-01-06 15:22:07 +01:00