On 07/09/2021 09:05, Hongda Deng wrote:
Hi Julien,
Hi,
(+ Stefano)
On 06/09/2021 10:04, Hongda Deng wrote:
Hi Julien,
If Xen wants a complete GICD ICPENDRn emulation to fix it, do you have any
suggestions.
Emulating ICPENDR is not easy with the existing vGIC. It would be great
to finally
Hi Julien,
> On 06/09/2021 10:04, Hongda Deng wrote:
> > Hi Julien,
>
> Hi Hongda,
>
> > Xen provides vGIC to support Xen guests, and currently xen will return IO
> > unhandled when guests access GICD ICPENRn registers. This works fine with
> Linux
> > guests, for Linux won't access these regist
On 06/09/2021 10:04, Hongda Deng wrote:
Hi Julien,
Hi Hongda,
Xen provides vGIC to support Xen guests, and currently xen will return IO
unhandled when guests access GICD ICPENRn registers. This works fine with Linux
guests, for Linux won't access these registers. But for Zephyr, this mecha
Hi Julien,
Xen provides vGIC to support Xen guests, and currently xen will return IO
unhandled when guests access GICD ICPENRn registers. This works fine with Linux
guests, for Linux won't access these registers. But for Zephyr, this mechanism
will cause IO dataabort on Zephyr's initialization