Yay, timer works.

This confirms my assumption that the errors are the bootloaders fault by
not supporting indirect pointers.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/main.c b/src/main.c
index e7ccdbc..92ec61c 100644
--- a/src/main.c
+++ b/src/main.c
@@ -9,7 +9,7 @@
 #include <keyboard.h>
 #include <print.h>
 #include <serial.h>
-/* #include <timer.h> */
+#include <timer.h>
 
 u32 HEAP = 0x00200000;
 u32 HEAP_START;
@@ -29,7 +29,7 @@ void main(struct mem_info *mem_info, struct vid_info *vid_info)
 
 	// Install drivers
 	interrupts_install();
-	/* timer_install(); */
+	timer_install();
 	keyboard_install();
 
 	// Enable drivers