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

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

FWIW:
Acked-by: Jan Beulich <jbeulich@suse.com>

Jan Beulich writes ("Re: [OSSTEST PATCH] ts-xen-build: Turn on CONFIG_PV32 again"):
> On 11.06.2021 19:02, Ian Jackson wrote:
> > CC: George Dunlap <george.dunlap@citrix.com>
> > Suggested-by: Jan Beulich <jbeulich@suse.com>
> > Signed-off-by: Ian Jackson <iwj@xenproject.org>
> 
> FWIW:
> Acked-by: Jan Beulich <jbeulich@suse.com>

Thanks.  FTR, I pushed this on Friday and it is now in production and
you can no doubt tell.

Ian.