More work on interrupt handling, Started timer interrupt implementation, PIC remapped hopefully successfull

src/kernel/timer.h

@@ -0,0 +1,6 @@
+#pragma once
+
+#include <stddef.h>
+#include <stdint.h>
+
+void init_timer (uint32_t frequency);