[LAU] kernel release: which one?

[Ralf Mardorf]

On Sat, 2013-08-24 at 14:13 +0200, hermann meyer wrote:
> CONFIG_NO_HZ is available, but CONFIG_NO_HZ_FULL still isn't

But it was. From a private mail a while ago:

On Tue, 2013-08-13 at 19:01 +0200, Joakim Hernberg wrote:
> jack at tor /home/jack $ uname -a
> Linux tor 3.10.6-rt3-1-rt #1 SMP PREEMPT RT Tue Aug 13 13:59:13 CEST
> 2013 x86_64 GNU/Linux 
> jack at tor /home/jack $ zgrep _HZ /proc/config.gz 
> CONFIG_NO_HZ_COMMON=y
> # CONFIG_HZ_PERIODIC is not set
> CONFIG_NO_HZ_IDLE=y
> # CONFIG_NO_HZ_FULL is not set
> CONFIG_NO_HZ=y
> # CONFIG_HZ_100 is not set
> # CONFIG_HZ_250 is not set
> # CONFIG_HZ_300 is not set
> CONFIG_HZ_1000=y
> CONFIG_HZ=1000
> jack at tor /home/jack $

I was willing to test the kernel when it's enabled, but the kernel did
cause an issue on my machine already when it was disabled.