diff options
| author | Miguel <m.i@gmx.at> | 2018-09-12 15:23:38 +0200 |
|---|---|---|
| committer | Miguel <m.i@gmx.at> | 2018-09-12 15:23:38 +0200 |
| commit | c72944b5646863ffaaaff94dc03b939a08566203 (patch) | |
| tree | 3ce3d74fc27b297cd6958d0d8ba588ccbbe16bfb /driver/timer.c | |
| parent | 800b1a878ec34a8ff30ed093e20561182fa6ae36 (diff) | |
struggling with vmem
Diffstat (limited to 'driver/timer.c')
| -rw-r--r-- | driver/timer.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/timer.c b/driver/timer.c index 7f9859c..30a30c6 100644 --- a/driver/timer.c +++ b/driver/timer.c @@ -1,4 +1,5 @@ #include "kernel.h" +#include "log.h" #include "timer.h" #include "asm_x86.h" |