[Minios-devel] [UNIKRAFT/NEWLIB PATCH] Select uktime library

[Costin Lupu <costin.lupu@xxxxxxxxx>]

Because newlib needs functions such as gettimeofday().

Signed-off-by: Costin Lupu <costin.lupu@xxxxxxxxx>
---
 Config.uk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Config.uk b/Config.uk
index da587ba..ba57af7 100644
--- a/Config.uk
+++ b/Config.uk
@@ -9,6 +9,7 @@ menuconfig LIBNEWLIBC
        select HAVE_LIBC
        select LIBNEWLIBM if LIBNEWLIBC
        select LIBUKALLOC
+       select LIBUKTIME
        select LIBVFSCORE
 
 if LIBNEWLIBC
-- 
2.20.1


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