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
!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 <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
