Hi,
On Thu Mar 29, 2018 at 20:48:34 +0800, nico wrote:
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.
Interesting. Could you please be a little bit more verbose, e.g. what type of CPU/SoC you're using and whether you're on 32 or 64bit? Would I be able to reproduce this?
Adam