1 system_ss.add(when: 'CONFIG_A9_GTIMER', if_true: files('a9gtimer.c'))
2 system_ss.add(when: 'CONFIG_ALLWINNER_A10_PIT', if_true: files('allwinner-a10-pit.c'))
3 system_ss.add(when: 'CONFIG_ALTERA_TIMER', if_true: files('altera_timer.c'))
4 system_ss.add(when: 'CONFIG_ARM_MPTIMER', if_true: files('arm_mptimer.c'))
5 system_ss.add(when: 'CONFIG_ARM_TIMER', if_true: files('arm_timer.c'))
6 system_ss.add(when: 'CONFIG_ARM_V7M', if_true: files('armv7m_systick.c'))
7 system_ss.add(when: 'CONFIG_ASPEED_SOC', if_true: files('aspeed_timer.c'))
8 system_ss.add(when: 'CONFIG_CADENCE', if_true: files('cadence_ttc.c'))
9 system_ss.add(when: 'CONFIG_CMSDK_APB_DUALTIMER', if_true: files('cmsdk-apb-dualtimer.c'))
10 system_ss.add(when: 'CONFIG_CMSDK_APB_TIMER', if_true: files('cmsdk-apb-timer.c'))
11 system_ss.add(when: 'CONFIG_RENESAS_TMR', if_true: files('renesas_tmr.c'))
12 system_ss.add(when: 'CONFIG_RENESAS_CMT', if_true: files('renesas_cmt.c'))
13 system_ss.add(when: 'CONFIG_DIGIC', if_true: files('digic-timer.c'))
14 system_ss.add(when: 'CONFIG_ETRAXFS', if_true: files('etraxfs_timer.c'))
15 system_ss.add(when: 'CONFIG_EXYNOS4', if_true: files('exynos4210_mct.c'))
16 system_ss.add(when: 'CONFIG_EXYNOS4', if_true: files('exynos4210_pwm.c'))
17 system_ss.add(when: 'CONFIG_GRLIB', if_true: files('grlib_gptimer.c'))
18 system_ss.add(when: 'CONFIG_HPET', if_true: files('hpet.c'))
19 system_ss.add(when: 'CONFIG_I8254', if_true: files('i8254_common.c', 'i8254.c'))
20 system_ss.add(when: 'CONFIG_IMX', if_true: files('imx_epit.c'))
21 system_ss.add(when: 'CONFIG_IMX', if_true: files('imx_gpt.c'))
22 system_ss.add(when: 'CONFIG_MIPS_CPS', if_true: files('mips_gictimer.c'))
23 system_ss.add(when: 'CONFIG_MSF2', if_true: files('mss-timer.c'))
24 system_ss.add(when: 'CONFIG_NPCM7XX', if_true: files('npcm7xx_timer.c'))
25 system_ss.add(when: 'CONFIG_NRF51_SOC', if_true: files('nrf51_timer.c'))
26 system_ss.add(when: 'CONFIG_OMAP', if_true: files('omap_gptimer.c'))
27 system_ss.add(when: 'CONFIG_OMAP', if_true: files('omap_synctimer.c'))
28 system_ss.add(when: 'CONFIG_PXA2XX', if_true: files('pxa2xx_timer.c'))
29 system_ss.add(when: 'CONFIG_RASPI', if_true: files('bcm2835_systmr.c'))
30 system_ss.add(when: 'CONFIG_SH_TIMER', if_true: files('sh_timer.c'))
31 system_ss.add(when: 'CONFIG_SLAVIO', if_true: files('slavio_timer.c'))
32 system_ss.add(when: 'CONFIG_SSE_COUNTER', if_true: files('sse-counter.c'))
33 system_ss.add(when: 'CONFIG_SSE_TIMER', if_true: files('sse-timer.c'))
34 system_ss.add(when: 'CONFIG_STELLARIS_GPTM', if_true: files('stellaris-gptm.c'))
35 system_ss.add(when: 'CONFIG_STM32F2XX_TIMER', if_true: files('stm32f2xx_timer.c'))
36 system_ss.add(when: 'CONFIG_XILINX', if_true: files('xilinx_timer.c'))
37 specific_ss.add(when: 'CONFIG_IBEX', if_true: files('ibex_timer.c'))
38 system_ss.add(when: 'CONFIG_SIFIVE_PWM', if_true: files('sifive_pwm.c'))
40 specific_ss.add(when: 'CONFIG_AVR_TIMER16', if_true: files('avr_timer16.c'))