Re: [PATCH][RESEND] pps: kc: fix non-tickless system config dependency

2016-09-21 Thread Rodolfo Giometti
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

Re: [PATCH][RESEND] pps: kc: fix non-tickless system config dependency

2016-09-21 Thread Rodolfo Giometti
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

[PATCH][RESEND] pps: kc: fix non-tickless system config dependency

2016-09-21 Thread Maciej S. Szmigiero
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

[PATCH][RESEND] pps: kc: fix non-tickless system config dependency

2016-09-21 Thread Maciej S. Szmigiero
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

[PATCH][RESEND] pps: kc: fix non-tickless system config dependency

2016-07-02 Thread Maciej S. Szmigiero
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

[PATCH][RESEND] pps: kc: fix non-tickless system config dependency

2016-07-02 Thread Maciej S. Szmigiero
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