On 09/21/16 18:38, 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

Otherwise it is possible to enable it even on
tickless system which has CONFIG_NO_HZ not set and

Signed-off-by: Maciej S. Szmigiero <m...@maciej.szmigiero.name>
This is a resend without functional changes since previous
submission and resubmission weren't picked up.

@Rodolfo: Could you ack this, please?

Acked-by: Rodolfo Giometti <giome...@enneenne.com>


HCE Engineering                      e-mail: giome...@hce-engineering.com
GNU/Linux Solutions                          giome...@enneenne.com
Linux Device Driver                          giome...@linux.it
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

Reply via email to