[RFC 00/29] Support multiple ARM platforms in Xen

[Julien Grall <julien.grall@linaro.org>]

Hello,

This patch series is divided in 4 parts:
    - Patch 1-6: Minor bug fixes
    - Patch 7-10: Add hierarchical device tree support based on linux tree
    - Patch 11-24: Remove harcoded part
    - Patch 25-28: Arndale support based on Anthony's git

Xen can boot on both Arndale Board and the Versatile Express without
recompilation. But there is still some hardcoded part, mainly in assembly.

Things to do:
    - Move secondary CPUs bring up code in platform specific
    - Move out of Xen the switch between secure mode and hypervisor mode
    - Rework dom0 device tree creation
    - Use everywhere the new device tree API
    - Add a support for SYS MMU

If you want to try this patch series you can clone:
  git clone -b arm git://xenbits.xen.org/people/julieng/xen-unstable.git

The command line to compile Xen is the same as before. You just need to
specify on Xen command line, via the device tree, which UART will be used
for the console.

Sincerely yours,

Julien Grall (29):
  xen/arm: lr must be included in range [0-nr_lr[
  xen/arm: don't allow dom0 to access to vpl011 UART0 memory range
  xen/arm: Remove duplicated GICD_ICPIDR2 definition
  xen/arm: Bump early printk internal buffer to 512
  xen/arm: Fix early_panic when EARLY_PRINTK is disabled
  xen/arm: Load dtb after dom0 kernel
  xen/arm: Create a hierarchical device tree
  xen/arm: Add helpers to use the device tree
  xen/arm: Add helpers to retrieve an address from the device tree
  xen/arm: Add helpers to retrieve an interrupt description from the device tree
  xen/arm: Introduce gic_route_dt_irq
  xen/arm: Introduce gic_irq_xlate
  xen/arm: Use hierarchical device tree to retrieve GIC information
  xen/arm: Retrieve timer interrupts from the device tree
  xen/arm: Don't hardcode VGIC informations
  xen/arm: Introduce a generic way to use a device from the device tree
  xen/arm: New callback in uart_driver to get device tree interrupt structure
  xen/arm: add generic UART to get the device in the device tree
  xen/arm: Use device tree API in pl011 UART driver
  xen/arm: Use the device tree to map the address range and IRQ to dom0
  xen/arm: WORKAROUND 1:1 memory mapping for dom0
  xen/arm: Allow Xen to run on multiple platform without recompilation
  xen/arm: Add versatile express platform
  xen/arm: Don't use pl011 UART by default for early printk
  xen/arm: Add exynos 4210 UART support
  xen/arm: Add Exynos 4210 UART support for early printk
  xen/arm: Add platform specific code for the exynos5
  xen/arm: Support secondary cpus boot and switch to hypervisor for the exynos5
  xen/arm64: Remove hardcoded value for gic in assembly code

 config/arm32.mk                          |   13 +
 config/arm64.mk                          |   11 +
 xen/arch/arm/Makefile                    |    4 +-
 xen/arch/arm/Rules.mk                    |   13 +
 xen/arch/arm/arm32/Makefile              |    6 +-
 xen/arch/arm/arm32/debug-exynos5.S       |   81 ++
 xen/arch/arm/arm32/debug-pl011.S         |   64 ++
 xen/arch/arm/arm32/debug.S               |   33 +
 xen/arch/arm/arm32/head.S                |   85 +-
 xen/arch/arm/arm32/mode_switch.S         |   74 +-
 xen/arch/arm/arm64/Makefile              |    3 +
 xen/arch/arm/arm64/debug-pl011.S         |   64 ++
 xen/arch/arm/arm64/debug.S               |   33 +
 xen/arch/arm/arm64/head.S                |   69 +-
 xen/arch/arm/arm64/mode_switch.S         |    7 +-
 xen/arch/arm/device.c                    |   74 ++
 xen/arch/arm/domain_build.c              |  202 ++++-
 xen/arch/arm/early_printk.c              |   18 +-
 xen/arch/arm/gic.c                       |  154 +++-
 xen/arch/arm/kernel.h                    |    1 -
 xen/arch/arm/platform.c                  |  121 +++
 xen/arch/arm/platforms/Makefile          |    1 +
 xen/arch/arm/platforms/exynos5.c         |  105 +++
 xen/arch/arm/platforms/vexpress.c        |   26 +
 xen/arch/arm/setup.c                     |   14 +-
 xen/arch/arm/shutdown.c                  |   16 +-
 xen/arch/arm/time.c                      |   65 +-
 xen/arch/arm/vgic.c                      |   21 +-
 xen/arch/arm/vpl011.c                    |    4 +-
 xen/arch/arm/xen.lds.S                   |   12 +
 xen/common/device_tree.c                 | 1319 ++++++++++++++++++++++++++++--
 xen/drivers/char/Makefile                |    2 +
 xen/drivers/char/arm-uart.c              |   76 ++
 xen/drivers/char/exynos5-uart.c          |  346 ++++++++
 xen/drivers/char/pl011.c                 |   63 +-
 xen/drivers/char/serial.c                |   10 +
 xen/include/asm-arm/config.h             |   13 +-
 xen/include/asm-arm/device.h             |   52 ++
 xen/include/asm-arm/domain.h             |    5 +-
 xen/include/asm-arm/early_printk.h       |    4 +-
 xen/include/asm-arm/gic.h                |   16 +-
 xen/include/asm-arm/platform.h           |   70 ++
 xen/include/asm-arm/platforms/exynos5.h  |   40 +
 xen/include/asm-arm/platforms/vexpress.h |   14 +
 xen/include/asm-arm/time.h               |    3 +
 xen/include/xen/device_tree.h            |  347 +++++++-
 xen/include/xen/irq.h                    |   25 +
 xen/include/xen/serial.h                 |   14 +-
 48 files changed, 3508 insertions(+), 305 deletions(-)
 create mode 100644 xen/arch/arm/arm32/debug-exynos5.S
 create mode 100644 xen/arch/arm/arm32/debug-pl011.S
 create mode 100644 xen/arch/arm/arm32/debug.S
 create mode 100644 xen/arch/arm/arm64/debug-pl011.S
 create mode 100644 xen/arch/arm/arm64/debug.S
 create mode 100644 xen/arch/arm/device.c
 create mode 100644 xen/arch/arm/platform.c
 create mode 100644 xen/arch/arm/platforms/exynos5.c
 create mode 100644 xen/drivers/char/arm-uart.c
 create mode 100644 xen/drivers/char/exynos5-uart.c
 create mode 100644 xen/include/asm-arm/device.h
 create mode 100644 xen/include/asm-arm/platform.h
 create mode 100644 xen/include/asm-arm/platforms/exynos5.h

-- 
Julien Grall