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