# CONFIG_HYPERV is not set
# CONFIG_HYPERV_TSCPAGE is not set
# CONFIG_HYSDN is not set
-# CONFIG_HZ is not set
-# CONFIG_HZ_100 is not set
+CONFIG_HZ=100
+CONFIG_HZ_100=y
# CONFIG_HZ_1000 is not set
# CONFIG_HZ_1024 is not set
# CONFIG_HZ_128 is not set