Hi l4 hackers,

I recently encountered an assertion failure error during the vm linux boot process, the kernel error is at src/kern/arm/thread-arm-hyp.cpp.

------------------------------------------------------

vcpu_vgic_upcall(unsigned virq)

{

......

assert (state() & Thread_vcpu_user);

......

}

------------------------------------------------------

The thread reports this error while processing the vgic interrupt. I'm not sure where the thread state has been changed. The most suspicious is the function vcpu_enter_kernel_mode(), but the function is called in several places. I have updated to the latest version (l4re-snapshot-18.03) and the error still appears.

There is also a phenomenon that if multiple VMs are started, the frequency of this error will increase a lot.

Thanks in advance for any suggestions.

Regards

Nico