Hello,
The first goal of this series is to fix Linux 3.19 DOM0 booting on GICv3 systems
(see patch #1).
I also took the opportunity to review vGIC drivers and found several issues.
While I believe everything should be ok for vGICv2, there is still some
pending bugs in vGICv3 that will require some rework.
Most of them concern the way we handle redistributor. Unlike the distributor,
the MMIO region of the redistributor are not banked and should be accessible
by anyone.
This should be fixed for Xen 4.6, but I may not have time to work on it. I
would be happy if someone wants to fix it.
Sincerely yours,
Julien Grall (10):
xen/arm: vgic-v3: Correctly set GICD_TYPER.IDbits
xen/arm: vgic-v3: Correctly set GICD_TYPER.CPUNumber
xen/arm: vgic-v3: Correctly handle GICD_CTLR
xen/arm: vgic-v3: Don't check the size when we ignore the write/read
as zero
xen/arm: vgic-v3: Document the current restrictions
xen/arm: vgic-v3: Print the domain/vcpu in each message
xen/arm: vgic-v2: Correctly set GICD_TYPER.CPUNumber
xen/arm: vgic-v2: Don't check the size when we ignore the write/read a
zero
xen/arm: vgic-v2: Take the lock when writing into GICD_CTLR
xen/arm: vgic-v2: Print the domain/vcpu in each message
xen/arch/arm/vgic-v2.c | 41 ++++---
xen/arch/arm/vgic-v3.c | 227 +++++++++++++++++++++-----------------
xen/include/asm-arm/gic.h | 1 +
xen/include/asm-arm/gic_v3_defs.h | 4 +
4 files changed, 158 insertions(+), 115 deletions(-)
--
2.1.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
