use rumpkern_time instead of stubs

diff --git a/Makefile b/Makefile
index 5eb44d522e29d9e92cb840e41e82147cc14426ef..bb2ab65ceef85fbe41e2d909bb9b925ae74bd421 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -42,7 +42,7 @@ LIBS_NET = -lrumpnet_config -lrumpdev_bpf -lrumpnet_xenif -lrumpnet_netinet
 LIBS_NET+= -lrumpnet_net -lrumpnet
 
 # Define some default flags for linking.
-LDLIBS_FS = --whole-archive ${LIBS_FS} ${LIBS_NET} ${LIBS_PCI} -lrump --no-whole-archive
+LDLIBS_FS = --whole-archive ${LIBS_FS} ${LIBS_NET} ${LIBS_PCI} -lrumpkern_time -lrump --no-whole-archive
 LDLIBS = -Lrump/lib ${LDLIBS_FS} -lc
 
 APP_LDLIBS := 

diff --git a/lib/libc_stubs.c b/lib/libc_stubs.c
index 623f38a5c263b79d3f2275e04768d3cdb7077b3c..7f5120a28ec088075f1b8d7676716643e31fc65c 100644 (file)
--- a/lib/libc_stubs.c
+++ b/lib/libc_stubs.c
@@ -10,9 +10,6 @@
        printk("STUB ``%s'' called\n", #name);  \
        return ENOTSUP;}
 
-STUB(__clock_gettime50);
-STUB(__nanosleep50);
-STUB(__setitimer50);
 STUB(__sigaction14);
 STUB(__sigprocmask14);
 STUB(__getrusage50);