From c2cee1a885fa11f8a22bcae6f72e2ab903d372f9 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Wed, 12 Feb 2025 15:06:25 +0100 Subject: [PATCH] vmm_x86: test x86 virtualization nightly with hw Ref genodelabs/genode#5450 --- repos/os/run/vmm_x86.run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/run/vmm_x86.run b/repos/os/run/vmm_x86.run index d68cc68c36..c54187373f 100644 --- a/repos/os/run/vmm_x86.run +++ b/repos/os/run/vmm_x86.run @@ -12,7 +12,7 @@ if { [have_cmd_arg --autopilot] } { assert {!([have_include power_on/qemu] && [have_spec sel4])} - assert {[have_spec nova] || [have_spec foc] || [have_spec sel4]} + assert {[have_spec nova] || [have_spec foc] || [have_spec sel4] || [have_spec hw]} } # ia32_tsc_aux with rdtscp