[PATCH 0/2] Add new Xen BSP target using GICv3 driver

[Jeff Kubascik]

This patch set renames the "xen_virtual" target to "xen_gicv2", and adds a new
"xen_gicv3" target that uses the GICv3 driver. This is the only hardware
dependency I have identified that a RTEMS virtual machine has with Xen on ARMv8.

The "xen_gicv3" target has been confirmed to work with Xen and ARMv8 QEMU. This
required 3 patches to QEMU, which have been submitted to QEMU devel. As of now,
all 3 patches were accepted into master.

Jeff Kubascik (2):
  bsp/xen: Rename xen_virtual target to xen_gicv2
  bsp/xen: Add xen_gicv3 target

 .../xen/config/{xen_virtual.cfg => xen_gicv2.cfg}  |  2 +-
 bsps/arm/xen/config/xen_gicv3.cfg                  | 14 ++++++++++++++
 bsps/arm/xen/include/bsp.h                         | 10 ++++++++++
 bsps/arm/xen/start/bspstartmmu.c                   | 14 ++++++++++++++
 c/src/lib/libbsp/arm/xen/Makefile.am               |  5 +++++
 c/src/lib/libbsp/arm/xen/configure.ac              | 10 ++++++++++
 6 files changed, 54 insertions(+), 1 deletion(-)
 rename bsps/arm/xen/config/{xen_virtual.cfg => xen_gicv2.cfg} (82%)
 create mode 100644 bsps/arm/xen/config/xen_gicv3.cfg

-- 
2.17.1