Kernel without "tickelss"

[David Taylor]

I have recent upgraded a number of Raspberry Pi card to the current distribution, and noted that the timekeeping performance as reported by NTP offset is a factor of about two worse than with my previous kernel which was compiled without the "tickless" option. Current version: Linux raspi-6 3.12.35+ #730 PREEMPT Fri Dec 19 18:31:24 GMT 2014 armv6l GNU/Linux

Is there any way to select non-tickless operation at run time - such as a boot command-line option - so that the good timekeeping performance might be restored? I would very much prefer to use the stick kernel rather than recompiling - as the GPIO-PPS support is now built-in and very helpful thanks!

Thanks,
David

[DougieLawson]

You should open an issue at http://github.com/raspberrypi/linux for this.