[PATCH v2 0/5] xen/arm: multiple guests support in the GIC and VGIC

From: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
To: "xen-devel@lists.xensource.com" <xen-devel@lists.xensource.com>
Cc: "Tim Deegan (3P)" <Tim.Deegan@citrix.com>,
	David Vrabel <david.vrabel@citrix.com>,
	Ian Campbell <Ian.Campbell@citrix.com>,
	Stefano Stabellini <Stefano.Stabellini@eu.citrix.com>
Subject: [PATCH v2 0/5] xen/arm: multiple guests support in the GIC and VGIC
Date: Wed, 4 Jul 2012 11:45:03 +0100	[thread overview]
Message-ID: <alpine.DEB.2.02.1207041123230.13581@kaball.uk.xensource.com> (raw)

Hi all,
this patch series fixes the GIC, VGIC and vtimer issues that caused dom1
to hang, as described by Ian in
http://marc.info/?l=xen-devel&m=133856539418794.

With this patch series applied on top of Ian's, dom1 boots up to:

VFS: Cannot open root device "(null)" or unknown-block(2,0)

Changes in v2:

- prettify gic_restore_pending_irqs;

- remove warning from gic_set_guest_irq.

- rebased on "xen: event channel remapping for emulated MSIs".

Stefano Stabellini (5):
      arm/vtimer: do not let the guest interact with the physical timer
      arm/gic: fix gic context switch
      xen/gic: support injecting IRQs even to VCPUs not currently running
      xen/vgic: vgic: support irq enable/disable
      xen/vgic: initialize pending_irqs.lr_queue

 xen/arch/arm/gic.c           |   65 +++++++++++++++++++++++++++++-------------
 xen/arch/arm/gic.h           |    2 +-
 xen/arch/arm/time.c          |    4 +-
 xen/arch/arm/vgic.c          |   27 +++++++++++++++++-
 xen/include/asm-arm/domain.h |    9 ++++++
 5 files changed, 83 insertions(+), 24 deletions(-)

Cheers,

Stefano