diff --git a/time/time.c b/time/time.c
index c7caf86..0d4d1af 100644
--- a/time/time.c
+++ b/time/time.c
@@ -1,8 +1,5 @@
 #include <time.h>
-
-#ifdef __is_libk
 #include <kernel/cmos.h>
-#endif
 
 unsigned int get_days(unsigned int year, unsigned char month, unsigned char day) {
   unsigned int tot_days = day - 1;
@@ -26,11 +23,7 @@ unsigned int get_days(unsigned int year, unsigned char month, unsigned char day)
 time_t time(time_t * tloc) {
   time_t ret_val;
   
-  #ifdef __is_libk
   ret_val = read_rtc();
-  #else
-  /* TODO: Implement system calls for this stuff */
-  #endif
 
   if(tloc != 0) {
     *tloc = ret_val;