achso, ich nutze ja den kernel26rt aus dem AUR.
Deshalb wollte ich wissen wo ich das in menuconfig finde...
EDIT:
ok,es ist im kernel26rt aktiviert
[michael@acer01 boot]$ less kconfig26rt |grep -e HIGH_RES_TIMERS -e HZ
CONFIG_NO_HZ=y
CONFIG_HIGH_RES_TIMERS=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
aber ich würde trotzdem gerne wissen wo es in menuconfig zu finden ist 😉