Разрешение часов изменения к 1 000 Гц
Я запускаю Ubuntu 12.04, и я должен изменить разрешение часов на 1 000 Гц (теперь, это - 250 Гц, значение по умолчанию).
Я понимаю, что должен установить его и затем перекомпилировать ядро, что касается примера, описанного здесь. Не ясно, тем не менее, как я могу сделать это от терминала, что касается экземпляра предложенный 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
2 ответа
Хорошо, в конце я просто не знал все шаги, включенные для перекомпиляции ядра. Инструкции могут быть найдены в этот ответ .
делают menuconfig, не будет работать.
Мог бы зависеть от простого $ sudo apt-get install libncurses5-dev.
, Кроме того, я не убежден просто, что простое CONFIG_HZ_1000 сделает Вас счастливыми, могли бы быть другие проблемы, повышающие от изменения его.
я рекомендовал бы бросить полный взгляд в это.