From 65f5cca027af81e77b3e06da658b6d13f1861a03 Mon Sep 17 00:00:00 2001 From: Miguel Date: Mon, 10 Sep 2018 04:13:28 +0200 Subject: fixing paging / per cpu pages --- driver/timer.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'driver') 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; } -- cgit v1.2.3