Ne modifiez pas .config directement, sauf si vous êtes un expert de Kbuild (et si vous demandez cela, vous n'êtes pas un expert de Kbuild). Au lieu de cela, exécutez make menuconfig ou make xconfig pour charger le système de configuration à base de menus. Alternativement, make config fera un processus de configuration basé sur la ligne (où il vous pose plusieurs centaines de questions sur ce qu'il faut configurer - non recommandé). L'option correspondante se trouve sous "Type de processeur et caractéristiques" en tant que "Fréquence de la minuterie".
Cela dit, cela peut ne pas être nécessaire. Linux moderne peut utiliser des minuteurs d'événements à haute résolution (CONFIG_HIGH_RES_TIMERS ) pour obtenir des temporisateurs à faible latence même sans augmenter la fréquence des temporisateurs. Avec un système tickless (CONFIG_NO_HZ ) , la fréquence de la minuterie a peu d'effet.
D'un autre côté, je ne suis pas sûr de la prise en charge de la minuterie par les processeurs Geode. Vous voudrez peut-être exécuter cyclictest avec différentes configurations de noyau pour voir ce dont vous avez besoin pour obtenir des performances à faible latence. Le test que vous avez effectué teste la fréquence de répartition maximale, et non la latence de répartition, il serait donc intéressant de comparer avec les résultats des tests cycliques. Si vous avez vraiment besoin faible latence, le patchset CONFIG_PREEMPT_RT peut également être intéressant.
Pour modifier le réglage de la minuterie, vous devez recompiler le noyau. Modifiez l'option dans un outil de configuration de menu standard, plutôt que dans le fichier texte.
/boot/config... les fichiers ne vous disent que ce qui est installé dans le binaire spécifique du noyau. Ce n'est pas un fichier de configuration que vous pouvez modifier.