Use OS timer

1 files changed, 12 insertions, 1 deletions

diff --git a/src/rendering/src/window.c b/src/rendering/src/window.c
index 8b964ce..8514bb4 100644
--- a/src/rendering/src/window.c
+++ b/src/rendering/src/window.c
@@ -1,4 +1,5 @@
 #include <stdio.h>
+#include <time.h>
 
 /* TODO: REMOVE THIS INCLUSION */
 #include <engine/engine.h>
@@ -69,6 +70,16 @@ static inline u64 glfw_gettime_nsec() {
   return (f64)glfwGetTime() * 1000000000;
 }
 
+static inline u64 platform_get_time() {
+  struct timespec t;
+  int res = clock_gettime(CLOCK_MONOTONIC, &t);
+  if (res != 0) {
+    // TODO: Check errno
+    WARN("Failed to get system time");
+  }
+  return t.tv_sec * 1000000000 + t.tv_nsec;
+}
+
 Window* init_window_glfw(
     const char* windowtitle, ivec2 windowsize,
     const u32 flags
@@ -134,7 +145,7 @@ Window* init_window_glfw(
   ret->context = NULL;
 
   window_poll_events = &glfwPollEvents;
-  get_time = &glfw_gettime_nsec;
+  get_time = &platform_get_time;
 
   return ret;
 }