1 files changed, 43 insertions, 0 deletions
diff --git a/src/user/lib/time.c b/src/user/lib/time.c
new file mode 100644
index 0000000..4709ecd
--- /dev/null
+++ b/src/user/lib/time.c
@@ -0,0 +1,43 @@
+#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;
+}