Hi Stefano,
On 07/12/16 22:51, Stefano Stabellini wrote:
On Wed, 7 Dec 2016, Julien Grall wrote:
Hi all,
Currently, it is only possible to start AArch32 guest with GICv2. This means
that if the host interrupt controller is not compatible with GICv2, it will
not be possible to boot AArch32 gues
On Wed, 7 Dec 2016, Julien Grall wrote:
> Hi all,
>
> Currently, it is only possible to start AArch32 guest with GICv2. This means
> that if the host interrupt controller is not compatible with GICv2, it will
> not be possible to boot AArch32 guest.
>
> The vGICv3 code is nearly fully compatible
Hi all,
Currently, it is only possible to start AArch32 guest with GICv2. This means
that if the host interrupt controller is not compatible with GICv2, it will
not be possible to boot AArch32 guest.
The vGICv3 code is nearly fully compatible with AArch32 guest except that
co-processor access to
