# CONFIG_DRM_FBDEV_EMULATION is not set
# CONFIG_HIGH_RES_TIMERS is not set
CONFIG_HZ=100
CONFIG_HZ_100=y
# CONFIG_HZ_300 is not set
# CONFIG_MALI_MIDGARD is not set