ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-16 15:29:57 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

vmm_x86: test x86 virtualization nightly with hw

Browse Source 
Ref genodelabs/genode#5450
This commit is contained in:
Stefan Kalkowski 2025-02-12 15:06:25 +01:00 committed by Christian Helmuth
parent 759bfec3a9
commit c2cee1a885
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/run/vmm_x86.run
View File

@ -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