ts-xen-build: Turn on CONFIG_PV32 again

CC: George Dunlap <george.dunlap@citrix.com>
Suggested-by: Jan Beulich <jbeulich@suse.com>
Signed-off-by: Ian Jackson <iwj@xenproject.org>

diff --git a/ts-xen-build b/ts-xen-build
index deec52b243344d1752d8a09dce70b86eaee1f5c0..af0dd89410360ba0ea1d5503d1c6a9b352a3c7ce 100755 (executable)
--- a/ts-xen-build
+++ b/ts-xen-build
@@ -132,6 +132,10 @@ END
                # on Xen. For now (Xen 4.10/4.11 at at least),
                # will be not built by default and gated by expert mode
                echo >>xen/.config CONFIG_HAS_ITS=y
+
+               # PV32 is disabled by default but we still want to test
+               # it, for now at least until everything is updated.
+               echo >>xen/.config CONFIG_PV32=y
        fi
 END
                );