# # Timer Interrupt Frequency Configuration # choice prompt "Timer frequency" default [31mCONFIG_HZ_250[0m help Allows the configuration of the timer frequency. It is customary to have the timer interrupt run at 1000 Hz but 100 Hz may be more beneficial for servers and [31mCONFIG_NUMA[0m systems that do not need to have a fast response for user interaction and that may experience bus contention and cacheline bounces as a result of timer interrupts. Note that the timer interrupt occurs on each processor in an [31mCONFIG_SMP[0m environment leading to [31mCONFIG_NR_CPUS[0m * [31mCONFIG_HZ[0m number of timer interrupts per second. config [31mCONFIG_HZ_100[0m bool "100 HZ" help 100 Hz is a typical choice for servers, [31mCONFIG_SMP[0m and [31mCONFIG_NUMA[0m systems with lots of processors that may show reduced performance if too many timer interrupts are occurring. config [31mCONFIG_HZ_250[0m bool "250 HZ" help 250 Hz is a good compromise choice allowing server performance while also showing good interactive responsiveness even on [31mCONFIG_SMP[0m and [31mCONFIG_NUMA[0m systems. If you are going to be using [31mCONFIG_NTSC[0m video or multimedia, selected 300Hz instead. config [31mCONFIG_HZ_300[0m bool "300 HZ" help 300 Hz is a good compromise choice allowing server performance while also showing good interactive responsiveness even on [31mCONFIG_SMP[0m and [31mCONFIG_NUMA[0m systems and exactly dividing by both [31mCONFIG_PAL[0m and [31mCONFIG_NTSC[0m frame rates for video and multimedia work. config [31mCONFIG_HZ_1000[0m bool "1000 HZ" help 1000 Hz is the preferred choice for desktop systems and other systems requiring fast interactive responses to events. endchoice config [31mCONFIG_HZ[0m int default 100 if [31mCONFIG_HZ_100[0m default 250 if [31mCONFIG_HZ_250[0m default 300 if [31mCONFIG_HZ_300[0m default 1000 if [31mCONFIG_HZ_1000[0m config [31mCONFIG_SCHED_HRTICK[0m def_bool [31mCONFIG_HIGH_RES_TIMERS[0m |