Hi Richard,
> On 27 Feb 2023, at 18:26, Richard Henderson <richard.hender...@linaro.org>
> wrote:
>
> On 2/27/23 06:37, Miguel Luis wrote:
>> - if (vms->virt && (kvm_enabled() || hvf_enabled())) {
>> + if (vms->virt && (kvm_enabled() || hvf_enabled())
>> + && !kvm_arm_el2_supported()) {
>
> The ordering of the tests isn't right -- shouldn't test kvm_arm_* for hvf.
>
> virt && ((kvm && !kvm_el2) || hvf)
> Agree. It will be fixed on the next version. Thank you! Miguel > > r~
