.config を編集しないでください あなたが Kbuild の専門家でない限り (そして、あなたがこれを尋ねているのであれば、あなたは Kbuild の専門家ではありません)。代わりに make menuconfig を実行します または make xconfig メニューベースの構成システムをロードします。または、make config 行ベースの構成プロセスを実行します (何を構成するかについて数百の質問が表示されますが、お勧めしません)。関連するオプションは、「タイマーの頻度」として「プロセッサの種類と機能」の下にあります。
とは言っても、これは必要ないかもしれません。最新の Linux では、高解像度のイベント タイマー (CONFIG_HIGH_RES_TIMERS) を使用できます。 ) タイマーの周波数を上げなくても、低レイテンシーのタイマーを実現します。ティックレスシステム (CONFIG_NO_HZ ) 、タイマーの頻度はほとんど影響しません。
一方、Geode CPU がどのようなタイマーをサポートしているかはわかりません。低レイテンシのパフォーマンスを得るために何が必要かを確認するために、さまざまなカーネル構成で cyclictest を実行することをお勧めします。実行したテストでは、ディスパッチ レイテンシではなく、最大ディスパッチ頻度がテストされるため、cyclictest の結果と比較すると興味深いでしょう。 本当に必要な場合 待ち時間が短いので、CONFIG_PREEMPT_RT パッチセットも興味深いかもしれません。
タイマー設定を変更するには、カーネルを再コンパイルする必要があります。テキスト ファイルではなく、標準のメニュー構成ツールでオプションを変更してください。
/boot/config... ファイルは、特定のカーネル バイナリに何がインストールされているかを示すだけです。これは変更できる構成ファイルではありません。