make-flight: shadow test: Disable kpti in guests

Since Spectre/Meltdown, shadow has been a lot slower, especially with
KPTI in the guest.  Empirically, too slow (with the kernel from Debian
stretch).

CC: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>

diff --git a/make-flight b/make-flight
index 151b14356b1e67ee30ef572a4ccbc755141a6d16..1e3ebd5c64249b3d1b1206b36b524aac01b0adf5 100755 (executable)
--- a/make-flight
+++ b/make-flight
@@ -493,6 +493,7 @@ do_shadow_tests () {
             $debian_runvars all_hostflags=$most_hostflags
 
   do_hvm_debian_test_one debianhvm xl seabios false '' -shadow \
+                         all_guest_linux_boot_append=nopti \
                          "xen_boot_append=hap=false"
 }