I am running Ubuntu 12.04 and I need to change the clock resolution to 1000 Hz (now it's 250 Hz, the default value).

I understand that I have to set it and then recompile the kernel, as for example described here. It's not clear, though, how I can do it from the terminal, as for instance the suggested make menuconfig won't work.

Any tips?

My current settings are:

$ cat /boot/config-3.8.0-29-generic | grep HZ
# CONFIG_HZ_100 is not set
# CONFIG_HZ_300 is not set
# CONFIG_HZ_1000 is not set

make menuconfig won't work.

Might depend on a simple $ sudo apt-get install libncurses5-dev.

Furthermore I'm not convinced just a simple CONFIG_HZ_1000 will make you happy, there might be other problems raising from changing it.
I'd recommend taking a thorough look into that.


Ok, in the end I just didn't know all the steps involved in order to recompile the kernel. The instructions can be found in this answer.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.