Re: UEFI support in ARM DomUs

[Julien Grall <julien@xxxxxxx>]

Hi Oleksandr,

On 22/06/2020 15:04, Oleksandr Andrushchenko wrote:
> On 6/19/20 11:02 PM, Stefano Stabellini wrote:
> > On Thu, 18 Jun 2020, Julien Grall wrote:
> ifeq ($(CONFIG_XEN),y)
> arch-y += -D__XEN_INTERFACE_VERSION__=0x00040d00
> endif
>
> and we also have Xen 4.13 headers in the U-boot tree.
Sorry if this was already asked before. Why do you need to specify 
__XEN_INTERFACE_VERSION__?
> For the first part (__XEN_INTERFACE_VERSION__) I think we can provide it via
>
> CFLAGS or something. This can also be done for the location of Xen headers.
__XEN_INTERFACE_VERSION__ should work through the CFLAGS. An alternative 
would be to allow the user to specify through the Kconfig.
Cheers,

--
Julien Grall