fixup! fixup! Making mshv3 the default mshv hypervisor in hyperlight_host (instead of mshv2)

Author: marosset

Justfile

@@ -134,8 +134,8 @@ test-compilation-no-default-features target=default-target:
 
 # runs tests that exercise gdb debugging
 test-rust-gdb-debugging target=default-target features="":
-    cargo test --profile={{ if target == "debug" { "dev" } else { target } }} --example guest-debugging {{ if features =="" {'--features gdb'} else { "--features gdb,init-paging" + features } }}
-    cargo test --profile={{ if target == "debug" { "dev" } else { target } }} {{ if features =="" {'--features gdb'} else { "--features gdb,init-paging" + features } }} -- test_gdb
+    cargo test --profile={{ if target == "debug" { "dev" } else { target } }} --example guest-debugging {{ if features =="" {'--features gdb'} else { "--features gdb,init-paging," + features } }}
+    cargo test --profile={{ if target == "debug" { "dev" } else { target } }} {{ if features =="" {'--features gdb'} else { "--features gdb,init-paging," + features } }} -- test_gdb
 
 # rust test for crashdump
 test-rust-crashdump target=default-target features="":