[PATCH v2 0/2] Rework the way to compute dom0 DTB base address

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

Hello

The first version of this series contained a single patch.

I have added a patch to use the address right after the kernel, if a DTB
is already appended.

It could happen if the same kernel is used for both bare metal and XEN without
a bootloader. I use this configuration on the versatile express, so I appended
the DTB to my kernel and enable CONFIG_APPENDED_DTB. Linux will prefer to use
the appended one rather than the one pointed by r2.

For the other changes see in each patch.

Cheers,

Julien Grall (2):
  xen/arm: Rework the way to compute dom0 DTB base address
  xen/arm: If the DOM0 zImage as a DTB appended replace it

 xen/arch/arm/domain_build.c |   51 ++++++++++++++++++++++++++++++++++++++-----
 xen/arch/arm/kernel.c       |   28 ++++++++++++------------
 xen/arch/arm/kernel.h       |    7 ++++++
 3 files changed, 66 insertions(+), 20 deletions(-)

-- 
1.7.10.4