Hi all,
This small patch series fix an issue I discovered when using the Foundation
model and the DT provided by Linux upstream.
Indeed the Device-Tree is exposing an ITS but LPIs are not available.
Resulting to an early crash on Xen.
Whilst this looks a DT issue, Linux is able to cope with it. So I think Xen
should also cope with such DT.
Cheers,
Julien Grall (2):
xen/arm: GICv3: Parse ITS information from the firmware tables later
on
xen/arm: GICv3: Only initialize ITS when the distributor supports
LPIs.
xen/arch/arm/gic-v3-its.c | 47 +++++++++++++++++++++++++---------------
xen/arch/arm/gic-v3.c | 19 +++++++++-------
xen/include/asm-arm/gic_v3_its.h | 12 ----------
3 files changed, 41 insertions(+), 37 deletions(-)
--
2.11.0
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
