1 files changed, 0 insertions, 43 deletions
diff --git a/src/user/lib/time.c b/src/user/lib/time.c
deleted file mode 100644
index 4709ecd..0000000
--- a/src/user/lib/time.c
+++ /dev/null
@@ -1,43 +0,0 @@
-#include <errno.h>
-#include <time.h>
-
-// TODO time
-time_t time(time_t *tloc) {
-	time_t ret = 0;
-	if (tloc) *tloc = ret;
-	return ret;
-}
-
-clock_t clock(void) {
-	return 0;
-}
-
-struct tm *gmtime(const time_t *timer) {
-	(void)timer;
-	errno = ENOSYS;
-	return NULL;
-}
-
-struct tm *localtime(const time_t *timer) {
-	(void)timer;
-	errno = ENOSYS;
-	return NULL;
-}
-
-time_t mktime(struct tm *timeptr) {
-	(void)timeptr;
-	return 0;
-}
-
-double difftime(time_t time1, time_t time0) {
-	(void)time1; (void)time0;
-	return 0;
-}
-
-size_t strftime(
-	char *restrict s, size_t maxsize,
-	const char *restrict format, const struct tm *restrict timeptr)
-{
-	(void)s; (void)maxsize; (void)format; (void)timeptr;
-	return 0;
-}