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

[Felipe Huici <Felipe.Huici@xxxxxxxxx>]

Hi Simon, this patch looks good, thanks.

Felipe Huici <felipe.huici@xxxxxxxxx>

On 10.10.19, 15:06, "Simon Kuenzer" <simon.kuenzer@xxxxxxxxx> wrote:

    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