#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86_64 5.11.9-gnu Kernel Configuration
+# Linux/x86_64 5.11.11-gnu Kernel Configuration
#
CONFIG_CC_VERSION_TEXT="x86_64-linux-gcc (GCC) 10.2.0"
CONFIG_CC_IS_GCC=y
#
CONFIG_XEN_BALLOON=y
CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y
-CONFIG_XEN_BALLOON_MEMORY_HOTPLUG_LIMIT=512
+CONFIG_XEN_MEMORY_HOTPLUG_LIMIT=512
CONFIG_XEN_SCRUB_PAGES_DEFAULT=y
CONFIG_XEN_DEV_EVTCHN=m
CONFIG_XEN_BACKEND=y