1 files changed, 2 insertions, 0 deletions
diff --git a/driver/timer.c b/driver/timer.c
index 1ceebc5..34e7637 100644
--- a/driver/timer.c
+++ b/driver/timer.c
@@ -1,3 +1,4 @@
+#include "kernel.h"
 #include "timer.h"
 
 #include "asm_x86.h"
@@ -153,6 +154,7 @@ uint64_t timer_init()
     uint64_t epoch_time=get_rtc_time();
     task_system_clock_start=epoch_time*25; // since pit ticks 25times a second
     asm_pit_rate_40ms();
+    fixme("pit rate does not work anymore 1/25 seconds??" );
     return epoch_time;
 }