[Xen-devel] [PATCH 0/4] xen/arm: guest SMP support

[Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>]

Hi all,
this small patch series implement guest SMP support for ARM, using the
ARM PSCI interface for secondary cpu bringup.

Stefano Stabellini (4):
      xen/arm: basic PSCI support, implement cpu_on
      xen/arm: support for guest SGI
      xen/arm: support vcpu_op hypercalls
      xen: move VCPUOP_register_vcpu_info to common code

 xen/arch/arm/domain.c        |   66 ++++++++++++++++++++++++
 xen/arch/arm/mm.c            |   10 ++++
 xen/arch/arm/traps.c         |   42 ++++++++++++++++
 xen/arch/arm/vgic.c          |   53 ++++++++++++++++++--
 xen/arch/x86/domain.c        |  113 ------------------------------------------
 xen/common/domain.c          |  110 ++++++++++++++++++++++++++++++++++++++++
 xen/include/asm-arm/domain.h |    4 ++
 xen/include/asm-arm/gic.h    |    3 +
 xen/include/asm-x86/domain.h |    3 -
 xen/include/xen/domain.h     |    3 +
 xen/include/xen/sched.h      |    3 +
 11 files changed, 290 insertions(+), 120 deletions(-)

Cheers,

Stefano

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel