我正在运行 Ubuntu 12.04,我需要更改时钟分辨率到1000Hz(现在为 250 Hz,默认值)。
我知道我必须设置它然后重新编译核心,例如所述这里。不过,我不清楚如何从终端执行此操作,因为例如建议的操作make menuconfig
不起作用。
有小费吗?
我当前的设置是:
$ 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
答案1
make menuconfig 不起作用。
可能依赖于简单$ sudo apt-get install libncurses5-dev
。
此外,我并不确信简单的改变CONFIG_HZ_1000
会让你开心,改变它可能会引发其他问题。
我建议你仔细考虑一下。
答案2
好吧,最后我还是不知道重新编译内核所涉及的所有步骤。说明可以在这个答案。