From fb685c0833191479b1363372688532ade70c94de Mon Sep 17 00:00:00 2001 From: Ben Hutchings Date: Sun, 14 Oct 2018 21:43:16 +0100 Subject: [PATCH] xen: Enable XEN_SCRUB_PAGES_DEFAULT, replacing XEN_SCRUB_PAGES This was renamed for no good reason in 4.19-rc4. --- debian/config/config | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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