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