title: Change linux kernel timer
body: <p>I have to run a latency sensitive application and I have been asked to change the timer resolution to 1000 Hz or more. I searched on the net a bit and found pages about CONFIG_HZ etc.</p>
  
  <p>However, there are what seem to be several other related settings in the file as well, so I want to be sure that I don't mess the settings up. I am posting some output here</p>
  
  <pre><code>$cat /boot/config-2.6.28-11-generic | grep HZ
  # CONFIG_HZ_1000 is not set
  # CONFIG_HZ_300 is not set
  CONFIG_MACHZ_WDT=m
  CONFIG_NO_HZ=y
  CONFIG_HZ=250
  # CONFIG_HZ_100 is not set
  CONFIG_HZ_250=y
  </code></pre>
  
  <p>So does the second line, "# CONFIG_HZ_1000 is not set", mean that 1000Hz is not supported? Do I have to change just CONFIG_HZ and not CONFIG_HZ-250? </p>
  
  <p>PS: I'm using the 2.6 kernel (ubuntu jaunty) on a Geode processor.</p>
  
  <p>EDIT1: I ran some code from <a href="http://www.advenage.com/topics/linux-timer-interrupt-frequency.php" rel="noreferrer">http://www.advenage.com/topics/linux-timer-interrupt-frequency.php</a> on my desktop machine and the development machine. The code supposedly is an accurate measure of how fast a timer the system can sustain. The output was approximately 183 Hz (on the development machine). So will changing the timer be meaningful?</p>