On Thu, 8 Mar 2018, julien.gr...@arm.com wrote:
> From: Julien Grall
>
> Xen is currently allowing to route/remove an interrupt from/to the
> domain while it is running.
>
> However, we never sync the virtual interrupt state to the physical
> interrupt. This could lead to undesirable effect on t
Gentle ping. The vGIC rework from Andre is based on that assumption.
Cheers,
On 08/03/18 15:24, julien.gr...@arm.com wrote:
From: Julien Grall
Xen is currently allowing to route/remove an interrupt from/to the
domain while it is running.
However, we never sync the virtual interrupt state to
From: Julien Grall
Xen is currently allowing to route/remove an interrupt from/to the
domain while it is running.
However, we never sync the virtual interrupt state to the physical
interrupt. This could lead to undesirable effect on the vGIC emulation
and potentially the hardware.
One solution
