[Minios-devel] [UNIKRAFT PATCH] plat/xen: x86 depends on libuktime

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

When building Xen for x86 and using nolibc, uktime needs to be
included, too. Otherwise the build fails.

Signed-off-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx>
---
 plat/xen/Config.uk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/plat/xen/Config.uk b/plat/xen/Config.uk
index 1ad7f7e4..6f6c2147 100644
--- a/plat/xen/Config.uk
+++ b/plat/xen/Config.uk
@@ -4,6 +4,7 @@ menuconfig PLAT_XEN
        depends on (ARCH_X86_32 || ARCH_X86_64 || ARCH_ARM_32)
        select LIBUKDEBUG
        select LIBNOLIBC if !HAVE_LIBC
+       select LIBUKTIME if !HAVE_LIBC && ARCH_X86_64
        select LIBFDT if ARCH_ARM_32
        select XEN_DBGEMERGENCY if ARCH_ARM_32
        help
-- 
2.20.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel