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
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
