plat/xen: Integrate `bootinfo` into `xen` builds

Add into the build process the sources required for integrating
the `struct ukplat_bootinfo` structure into `xen` images, as well
as the call to `build_bootinfo` method.

Signed-off-by: Sergiu Moga <sergiu.moga@protonmail.com>
Reviewed-by: Michalis Pappas <michalis@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #848

diff --git a/plat/xen/Linker.uk b/plat/xen/Linker.uk
index ac0885a413aaa3ab115922f690898a63acb1b47c..e025903a472556744f02da09ba247b267f8f92b0 100644 (file)
--- a/plat/xen/Linker.uk
+++ b/plat/xen/Linker.uk
@@ -51,6 +51,7 @@ $(XEN_IMAGE): $(XEN_DEBUG_IMAGE)
                        { grep -Ev \
                                "Empty loadable segment detected|section.*lma.*adjusted to.*" || \
                                true; })
+       $(call build_bootinfo,$@)
 
 ifeq (arm,$(CONFIG_UK_ARCH))
 $(XEN_RAW_IMAGE): $(XEN_IMAGE)

diff --git a/plat/xen/Makefile.uk b/plat/xen/Makefile.uk
index 386a52a4ae832e6d63932220a4c8af888623346d..56ea437f04f09f38a53d638f6d5636d1df48e208 100644 (file)
--- a/plat/xen/Makefile.uk
+++ b/plat/xen/Makefile.uk
@@ -50,6 +50,8 @@ LIBXENPLAT_SRCS-y              += $(LIBXENPLAT_BASE)/io.c
 LIBXENPLAT_SRCS-y              += $(UK_PLAT_COMMON_BASE)/lcpu.c|common
 LIBXENPLAT_SRCS-y              += $(UK_PLAT_COMMON_BASE)/memory.c|common
 LIBXENPLAT_SRCS-y              += $(UK_PLAT_COMMON_BASE)/tls.c|common
+LIBXENPLAT_SRCS-y              += $(UK_PLAT_COMMON_BASE)/bootinfo.c|common
+LIBXENPLAT_SRCS-y              += $(UK_PLAT_COMMON_BASE)/bootinfo.lds.S|common
 
 LIBXENPLAT_SRCS-$(CONFIG_ARCH_X86_64) += $(UK_PLAT_COMMON_BASE)/x86/trace.c|common
 LIBXENPLAT_SRCS-$(CONFIG_ARCH_X86_64) += $(UK_PLAT_COMMON_BASE)/x86/traps.c|common