diff options
Diffstat (limited to 'kernel/Kconfig.hz')
| -rw-r--r-- | kernel/Kconfig.hz | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/kernel/Kconfig.hz b/kernel/Kconfig.hz index ecde22d15..1532e4e14 100644 --- a/kernel/Kconfig.hz +++ b/kernel/Kconfig.hz @@ -4,8 +4,8 @@ choice prompt "Timer frequency" - default HZ_250 - default HZ_100 if SCHED_MUQSS + default HZ_128 if SCHED_MUQSS + default HZ_250 if !SCHED_MUQSS 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 @@ -24,6 +24,16 @@ choice with lots of processors that may show reduced performance if too many timer interrupts are occurring. + config HZ_128 + bool "128 HZ" + help + 128 Hz is a suitable choice in combination with MuQSS which does + not rely on ticks for rescheduling interrupts, and is not Hz limited + for timeouts and sleeps from both the kernel and userspace. + This allows us to benefit from the lower overhead and higher + throughput of fewer timer ticks and the microoptimisation of Hz + divisions being a power of 2. + config HZ_250 bool "250 HZ" help @@ -51,6 +61,7 @@ endchoice config HZ int default 100 if HZ_100 + default 128 if HZ_128 default 250 if HZ_250 default 300 if HZ_300 default 1000 if HZ_1000 |