From: Costin Lupu <costin.lupu@cs.pub.ro>
Date: Wed, 9 Oct 2019 13:54:11 +0000 (+0300)
Subject: Select uktime library
X-Git-Tag: RELEASE-0.4~30
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=c02e573015afb353094727ac3e7102d568e8d71d;p=unikraft%2Flibs%2Fnewlib.git

Select uktime library

Because newlib needs functions such as gettimeofday().

Signed-off-by: Costin Lupu <costin.lupu@cs.pub.ro>
Reviewed-by: Felipe Huici <felipe.huici@neclab.eu>
---

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