| ## |
| ## Copyright 2013 Google Inc. All rights reserved. |
| ## |
| ## This program is free software; you can redistribute it and/or modify |
| ## it under the terms of the GNU General Public License as published by |
| ## the Free Software Foundation; version 2 of the License. |
| ## |
| ## This program is distributed in the hope that it will be useful, |
| ## but WITHOUT ANY WARRANTY; without even the implied warranty of |
| ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| ## GNU General Public License for more details. |
| ## |
| ## You should have received a copy of the GNU General Public License |
| ## along with this program; if not, write to the Free Software |
| ## Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
| |
| config DRIVER_TIMER_DUMMY |
| bool "Dummy timer driver" |
| default n |
| |
| |
| config DRIVER_TIMER_RDTSC |
| bool "X86's TSC based timer" |
| default n |
| depends on ARCH_X86 |
| |
| |
| config DRIVER_TIMER_MCT |
| bool "Exynos MCT (multi-core timer) driver" |
| default n |
| |
| config DRIVER_TIMER_MCT_HZ |
| int "Exynos MCT frequency" |
| depends on DRIVER_TIMER_MCT |
| default 24000000 |
| |
| config DRIVER_TIMER_MCT_ADDRESS |
| hex "Exynos MCT base address" |
| depends on DRIVER_TIMER_MCT |
| default 0x101c0000 |
| |
| |
| config DRIVER_TIMER_TEGRA_1US |
| bool "Tegra 1us timer driver" |
| default n |
| |
| config DRIVER_TIMER_TEGRA_1US_ADDRESS |
| hex "Tegra 1us timer base address" |
| depends on DRIVER_TIMER_TEGRA_1US |
| default 0x60005010 |
| |
| |
| config DRIVER_TIMER_ROCKCHIP |
| bool "Rockchip timer driver" |
| default n |
| |
| config DRIVER_TIMER_ROCKCHIP_ADDRESS |
| hex "Rockchip timer base address" |
| depends on DRIVER_TIMER_ROCKCHIP |
| default 0xff810020 |
| |
| |
| config DRIVER_TIMER_UEFI |
| bool "A timer driver which calls into UEFI" |
| default n |