diff options
Diffstat (limited to 'payloads/libpayload/drivers/timer/Kconfig')
| -rw-r--r-- | payloads/libpayload/drivers/timer/Kconfig | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/payloads/libpayload/drivers/timer/Kconfig b/payloads/libpayload/drivers/timer/Kconfig index 54cbe4a663..f1542cf9db 100644 --- a/payloads/libpayload/drivers/timer/Kconfig +++ b/payloads/libpayload/drivers/timer/Kconfig @@ -33,12 +33,6 @@ config TIMER_TEGRA_1US config TIMER_IPQ806X bool "Timer for ipq806x platforms" -config TIMER_ARMADA38X - bool "Timer for armada38x platforms" - help - This is the timer driver for marvell armada38x - platforms. - config TIMER_IPQ40XX bool "Timer for ipq40xx platforms" help @@ -56,43 +50,16 @@ config TIMER_RK3288 config TIMER_RK3399 bool "Timer for Rockchip RK3399" -config TIMER_CYGNUS - bool "Timer for Cygnus" - config TIMER_IMG_PISTACHIO bool "Timer for IMG Pistachio" config TIMER_MTK bool "Timer for MediaTek MT8173" -config TIMER_MVMAP2315 - bool "Timer for Marvell MVMAP2315" - endchoice -config ARMADA38X_TIMER_FREQ - int "Hardware timer frequency" - depends on TIMER_ARMADA38X - default 25000000 - -config ARMADA38X_TIMER_REG - hex "Timer register address" - default 0xF1020314 - depends on TIMER_ARMADA38X - -config MVMAP2315_TIMER_FREQ - int "Hardware timer frequency" - depends on TIMER_MVMAP2315 - default 1000000 - -config MVMAP2315_TIMER_REG - hex "Timer register address" - depends on TIMER_MVMAP2315 - default 0xE1020004 - config TIMER_GENERIC_HZ int "Generic Timer Frequency" - default 500000000 if TIMER_CYGNUS default 48000000 if TIMER_IPQ40XX default 6250000 if TIMER_IPQ806X default 24000000 if TIMER_MCT @@ -107,7 +74,6 @@ config TIMER_GENERIC_HZ config TIMER_GENERIC_REG hex "Generic Timer Register Address" - default 0x19020200 if TIMER_CYGNUS default 0x004A2000 if TIMER_IPQ40XX default 0x0200A028 if TIMER_IPQ806X default 0x101C0100 if TIMER_MCT @@ -121,7 +87,6 @@ config TIMER_GENERIC_REG config TIMER_GENERIC_HIGH_REG hex "Generic Timer High Register Address" - default 0x19020204 if TIMER_CYGNUS default 0x004A2004 if TIMER_IPQ40XX default 0x101C0104 if TIMER_MCT default 0xff81002C if TIMER_RK3288 |