genode/repos/base/include/spec/panda/drivers
Martin Stein 0bb752674f panda: fix timer speed
Previously we had configured the timer for the Panda ES with 700 MHz
CPU clock. But the Panda A6 that we use as reference now runs with
800 MHz.

Fixes #2308
2017-03-15 12:32:24 +01:00
..
board_base.h panda: fix timer speed 2017-03-15 12:32:24 +01:00