Assertion failure error in kernel vgic interrupt processing
nico <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers