diff --git a/lib/syslib/Makefile.in b/lib/syslib/Makefile.in
index ad051f1a8..2a33f6e66 100644
--- a/lib/syslib/Makefile.in
+++ b/lib/syslib/Makefile.in
@@ -56,6 +56,7 @@ libsys_FILES=" \
 	sys_privctl.c \
 	sys_setgrant.c \
 	sys_sprof.c \
+	sys_stime.c \
 	sys_times.c \
 	sys_trace.c \
 	sys_umap.c \
diff --git a/lib/syslib/sys_stime.c b/lib/syslib/sys_stime.c
new file mode 100755
index 000000000..9a9cffe01
--- /dev/null
+++ b/lib/syslib/sys_stime.c
@@ -0,0 +1,12 @@
+#include "syslib.h"
+
+PUBLIC int sys_stime(boottime)
+time_t boottime;		/* New boottime */
+{
+  message m;
+  int r;
+
+  m.T_BOOTTIME = boottime;
+  r = _taskcall(SYSTASK, SYS_STIME, &m);
+  return(r);
+}
diff --git a/lib/syslib/sys_times.c b/lib/syslib/sys_times.c
index 5b5a7526a..f6b84a7ff 100755
--- a/lib/syslib/sys_times.c
+++ b/lib/syslib/sys_times.c
@@ -12,8 +12,8 @@ clock_t ptr[5];			/* pointer to time buffer */
   r = _taskcall(SYSTASK, SYS_TIMES, &m);
   ptr[0] = m.T_USER_TIME;
   ptr[1] = m.T_SYSTEM_TIME;
-  ptr[2] = m.T_CHILD_UTIME;
-  ptr[3] = m.T_CHILD_STIME;
+  ptr[2] = 0;
+  ptr[3] = 0;
   ptr[4] = m.T_BOOT_TICKS;
   return(r);
 }