1# SPDX-License-Identifier: GPL-2.0-only 2menu "Timer Drivers" 3 depends on GENERIC_CLOCKEVENTS 4 depends on AW_BSP 5 6config AW_TIMER 7 tristate "Timer support for Allwinner SoCs" 8 depends on HAS_IOMEM 9 select CLKSRC_MMIO 10 select TIMER_OF 11 help 12 Enables support for the Sun4i timer. 13 14endmenu 15