Re: [PATCH v3] xen/arm: Rework the way to compute dom0 DTB base address

[Julien Grall <julien.grall@citrix.com>]

On 06/03/2013 01:54 PM, Julien Grall wrote:

> diff --git a/xen/arch/arm/kernel.h b/xen/arch/arm/kernel.h
> index 1776a4d..b4ecd30 100644
> --- a/xen/arch/arm/kernel.h
> +++ b/xen/arch/arm/kernel.h
> @@ -9,6 +9,12 @@
>  #include <xen/libelf.h>
>  #include <xen/device_tree.h>
>  
> +enum kernel_type
> +{
> +    KERNEL_ELF,
> +    KERNEL_ZIMAGE,
> +};
> +
>  struct kernel_info {
>  #ifdef CONFIG_ARM_64
>      enum domain_type type;
> @@ -23,6 +29,7 @@ struct kernel_info {
>  
>      void *kernel_img;
>      unsigned kernel_order;
> +    enum kernel_type type;


I have noticed a compilation error with arm64 because "type" is already
used by another field.

I will send in few minutes another version of this patch.

-- 
Julien