ec76a4bb63
The pulpino_timer driver does not implement TICKLESS_IDLE for the time being. Change-Id: I0cce8c8a7e203d551a924863462e6c86af4c98ff Signed-off-by: Jean-Paul Etienne <fractalclone@gmail.com>
11 lines
358 B
Makefile
11 lines
358 B
Makefile
obj-$(CONFIG_HPET_TIMER) += hpet.o
|
|
obj-$(CONFIG_LOAPIC_TIMER) += loapic_timer.o
|
|
obj-$(CONFIG_ARCV2_TIMER) += arcv2_timer0.o
|
|
obj-$(CONFIG_ALTERA_AVALON_TIMER) += altera_avalon_timer.o
|
|
obj-$(CONFIG_NRF_RTC_TIMER) += nrf_rtc_timer.o
|
|
obj-$(CONFIG_PULPINO_TIMER) += pulpino_timer.o
|
|
|
|
obj-$(CONFIG_CORTEX_M_SYSTICK) += cortex_m_systick.o
|
|
|
|
obj-y += sys_clock_init.o
|