Altere a resolução do relógio para 1000 Hz

Question

Estou executando o Ubuntu 12.04 e preciso alterar a resolução do clock para 1000 Hz (agora é 250 Hz, o valor padrão).

Eu entendo que tenho que configurá-lo e então recompilar o kernel , como por exemplo descrito aqui . Não está claro, porém, como posso fazê-lo a partir do terminal, como por exemplo o make menuconfig sugerido não funcionará.

Alguma dica?

Minhas configurações atuais são:

$ cat /boot/config-3.8.0-29-generic | grep HZ
CONFIG_NO_HZ=y
CONFIG_RCU_FAST_NO_HZ=y
# CONFIG_HZ_100 is not set
CONFIG_HZ_250=y
# CONFIG_HZ_300 is not set
# CONFIG_HZ_1000 is not set
CONFIG_HZ=250
CONFIG_MACHZ_WDT=m

    

Answer 1

Ok, no final eu não sabia todos os passos envolvidos para recompilar o kernel. As instruções podem ser encontradas em esta resposta .

    

Answer 2

% bl0ck_qu0te%

Pode depender de um simples $ sudo apt-get install libncurses5-dev .

Além disso, não estou convencido de que apenas um simples CONFIG_HZ_1000 vai fazer você feliz, pode haver outros problemas surgindo com a mudança.
Eu recomendo dar uma olhada completa nisso.