diff --git a/debian/config/config b/debian/config/config index a5f77ab23..598051640 100644 --- a/debian/config/config +++ b/debian/config/config @@ -5293,7 +5293,7 @@ CONFIG_XEN_WDT=m ## CONFIG_XEN_BALLOON=y CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y -CONFIG_XEN_SCRUB_PAGES=y +CONFIG_XEN_SCRUB_PAGES_DEFAULT=y CONFIG_XEN_DEV_EVTCHN=m CONFIG_XEN_BACKEND=y CONFIG_XENFS=m