[OSSTEST PATCH] ts-xen-build: Turn on CONFIG_PV32 again

[Ian Jackson <iwj@xxxxxxxxxxxxxx>]

CC: George Dunlap <george.dunlap@xxxxxxxxxx>
Suggested-by: Jan Beulich <jbeulich@xxxxxxxx>
Signed-off-by: Ian Jackson <iwj@xxxxxxxxxxxxxx>
---
 ts-xen-build | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ts-xen-build b/ts-xen-build
index deec52b2..af0dd894 100755
--- 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
                );
-- 
2.20.1