Hi Adam, I'm using an eight-core Cortex-A53 processor. The vm is running 64bit
Linux. It is recommended to start two or three vms, that will be easier to
reproduce this problem. Nico 在2018年03月30日 00:24，Adam Lackorzynski 写道： Hi, On
Thu Mar 29, 2018 at 20:48:34 +0800, nico wrote: > Hi l4 hackers,
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(u
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_
