In the Linux Kernel
CONFIG_NO_HZ is not set. But an initial reading suggests that setting that option would be nice from a performance point of view. But reading some posts like this made me think again.
CONFIG_NO_HZ is not set by default or why no performance improvement when it is enabled?