genode/repos/base/include/spec
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
..
32bit/base Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
64bit/base Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
arm Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
arm_v6/cpu Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
arm_v7/cpu Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
arndale/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
exynos/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
exynos4 Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
exynos5 Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
imx/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
imx6/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
imx53/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
imx53_qsb/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
odroid_x2/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
odroid_xu/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
panda/drivers panda: fix timer speed 2017-03-15 12:32:24 +01:00
pbxa9/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
pl011/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
rpi/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
tl16c750/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
usb_armory/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
x86 Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
x86_32/cpu Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
x86_64/cpu Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
xilinx/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
zynq/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
zynq_qemu/drivers Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00