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