On Sat, Mar 05, 2016 at 06:37:39PM +0100, Maciej S. Szmigiero wrote: > CONFIG_NO_HZ currently only sets the default value > of dynticks config so if PPS kernel consumer needs > periodic timer ticks it should depend on > !CONFIG_NO_HZ_COMMON instead of !CONFIG_NO_HZ. > > Otherwise it is possible to enable it even on > tickless system which has CONFIG_NO_HZ not set and > CONFIG_NO_HZ_IDLE (or CONFIG_NO_HZ_FULL) set. > > Signed-off-by: Maciej S. Szmigiero <[email protected]>
It's ok for me. Ciao, Rodolfo -- HCE Engineering e-mail: [email protected] GNU/Linux Solutions [email protected] Linux Device Driver [email protected] Embedded Systems phone: +39 349 2432127 UNIX programming skype: rodolfo.giometti Cosino Project - the quick prototyping embedded system - www.cosino.io Freelance ICT Italia - Consulente ICT Italia - www.consulenti-ict.it
