Re: supporting tickless and non-tickless using arch_timer/alarm/rtc

[Matias N.]

Hi,
thanks, I will select TIMER_ARCH from Kconfig for this arch for now. I can 
create an issue later.
I will also try to document these three drivers and link them from the 
discussion about tickless support.

Best,
Matias