diff --git a/kernel-src/include/time.h b/kernel-src/include/time.h
index cbfa12a5..80ff7994 100644
--- a/kernel-src/include/time.h
+++ b/kernel-src/include/time.h
@@ -8,4 +8,11 @@ typedef struct {
 	time_t ns;
 } timespec_t;
 
+static inline timespec_t timespec_add(timespec_t a, timespec_t b) {
+	timespec_t ts;
+	ts.ns = (a.ns + b.ns) % 1000000000;
+	ts.s = a.s + b.s + (a.ns + b.ns) / 1000000000;
+	return ts;
+}
+
 #endif