[PATCH v4 00/27] Allow Xen to boot with a raw device tree

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

Hi,

This is the fourth version of this patch series. It allows Xen to boot with
a raw device tree, ie without any specific modification for Xen.

Few months ago, the patch series "Support multiple ARM platform in XEN", has
added a tree structure to handle easier the device tree. Each node can carry
metadata to specify if the node can be pass-through to Dom0. Therefore, this
patch series take advantage of the "new" Device Tree API and get a rid of
the FDT API that is currently used to build Dom0 dts and in some drivers.

Major changes since v2:
    - Address Ian's comment from V2. (Forgot to fix it on the V3)
    - Correct support for interrupts. Nodes with an "interrupts" property
    need to be link to the GIC.

All the changes can be found in each patch.

TODO list:
     - Add support for memreserve. This is needed for HDLCD framebuffer
     on the versatile express.

Cheers,

Andre Przywara (1):
  ARM: parse separate DT properties for different commandlines

Julien Grall (26):
  xen/dts: Constify device_tree_flattened
  xen/dts: Prefix device tree macro by dt_
  xen/dts: Don't add a fake property "name" in the device tree
  xen/dts: Add new helpers to use the device tree
  xen: Use the right string comparison function in device tree
  xen/dts: Remove device_get_reg call in process_cpu_node
  xen/dts: Check "reg" property length in process_multiboot_node
  xen/dts: Check the CPU ID is not greater than NR_CPUS
  xen/video: hdlcd: Convert the driver to the new device tree API
  xen/video: hdlcd: Use early_printk instead of printk
  xen/arm: Use dt_device_match to avoid multiple if conditions
  xen/dts: dt_find_interrupt_controller: accept multiple compatible
    strings
  xen/arm: Build DOM0 FDT by browsing the device tree structure
  xen/arm: Don't map disabled device in DOM0
  xen/arm: Create a fake PSCI node in dom0 device tree
  xen/arm: Create a fake cpus node in dom0 device tree
  xen/arm: Create a fake GIC node in dom0 device tree
  xen/arm: Create a fake timer node in dom0 device tree
  xen/arm: Add new platform specific callback device_is_blacklist
  xen/arm: Remove devices used by Xen from dom0 device tree
  xen/arm: vexpress: Blacklist a list of board specific devices
  xen/arm: exynos5: Blacklist MCT device
  xen/dts: Clean up the exported API for device tree
  xen/dts: device_get_reg: cells are 32-bit big endian value
  xen/dts: replace get_val by dt_next_cell
  xen/arm: Check if the device is available before using it

 docs/misc/arm/device-tree/booting.txt |   28 +-
 xen/arch/arm/device.c                 |    3 +
 xen/arch/arm/domain_build.c           |  591 ++++++++++++++++++++++++---------
 xen/arch/arm/gic.c                    |    7 +-
 xen/arch/arm/platform.c               |   10 +
 xen/arch/arm/platforms/exynos5.c      |   11 +
 xen/arch/arm/platforms/vexpress.c     |   17 +
 xen/arch/arm/setup.c                  |   12 +-
 xen/arch/arm/time.c                   |    9 +-
 xen/common/device_tree.c              |  284 +++++++++-------
 xen/drivers/video/arm_hdlcd.c         |   69 ++--
 xen/include/asm-arm/gic.h             |    2 +
 xen/include/asm-arm/platform.h        |    7 +
 xen/include/asm-arm/time.h            |    4 +
 xen/include/xen/device_tree.h         |  179 ++++++++--
 15 files changed, 901 insertions(+), 332 deletions(-)

-- 
1.7.10.4