feat: reformatted code base to be more standard

kernel/cpu/cpuidx.c

@@ -2,11 +2,11 @@
 // Created by rick on 12-02-21.
 //
 
-#include <cpu/cpuidx.h>
-
-#include <types.h>
 #include <cpuid.h>
-#include <libc/kprintf.h>
+#include <stdio.h>
+#include <sys/types.h>
+
+#include <myke/cpu/cpuidx.h>
 
 union cpu_name {
     uint32_t parts[3];

kernel/cpu/idt.c

@@ -2,7 +2,7 @@
 // Created by rick on 8/18/19.
 //
 
-#include <cpu/idt.h>
+#include <myke/cpu/idt.h>
 
 idt_gate_t idt[IDT_REGISTERS];
 idt_register_t idt_reg;

kernel/cpu/isr.c

@@ -2,16 +2,15 @@
 // Created by rick on 8/18/19.
 //
 
-#include <cpu/isr.h>
+#include <stdio.h>
 
-#include <debug/debug.h>
-#include <cpu/idt.h>
-#include <cpu/syscall_handler.h>
-#include <libc/libc.h>
-#include <drivers/ports.h>
-#include <libc/kprintf.h>
-#include <libk/libk.h>
-#include <tasks/task.h>
+#include <myke/cpu/isr.h>
+#include <myke/debug/debug.h>
+#include <myke/cpu/idt.h>
+#include <myke/cpu/syscall_handler.h>
+#include <myke/drivers/ports.h>
+#include <myke/libk/libk.h>
+#include <myke/tasks/task.h>
 
 #define PIC_END_OF_INTERRUPT 0x20
 

kernel/cpu/syscall_handler.c

@@ -2,9 +2,9 @@
 // Created by rick on 24-02-21.
 //
 
-#include <cpu/syscall_handler.h>
-#include <libk/syscall.h>
-#include <tasks/task.h>
+#include <myke/cpu/syscall_handler.h>
+#include <myke/libk/syscall.h>
+#include <myke/tasks/task.h>
 
 void syscall_handle(isr_registers_t *registers) {
     switch (registers->eax) {

kernel/cpu/timer.c

@@ -2,14 +2,15 @@
 // Created by rick on 9/22/19.
 //
 
-#include <cpu/timer.h>
+#include <string.h>
+#include <stdlib.h>
 
-#include <drivers/ports.h>
-#include <cpu/isr.h>
-#include <libc/libc.h>
-#include <libk/libk.h>
-#include <libk/kprint.h>
-#include <tasks/task.h>
+#include <myke/cpu/timer.h>
+#include <myke/drivers/ports.h>
+#include <myke/cpu/isr.h>
+#include <myke/libk/libk.h>
+#include <myke/libk/kprint.h>
+#include <myke/tasks/task.h>
 
 // https://wiki.osdev.org/PIT
 #define PIT_MODE_BIN_BCD                            (1 << 0)
@@ -63,8 +64,8 @@ int init_timer(uint32_t freq) {
     register_interrupt_handler(IRQ0, timer_callback);
 
     uint32_t divisor = 1193180 / freq;
-    uint8_t low = (uint8_t)(divisor & 0xFF);
-    uint8_t high = (uint8_t)((divisor >> 8) & 0xFF);
+    uint8_t low = (uint8_t) (divisor & 0xFF);
+    uint8_t high = (uint8_t) ((divisor >> 8) & 0xFF);
     port_byte_out(PORT_PIT_COMMAND,
                   PIT_MODE_BIN | PIT_MODE_HARDWARE_SQUARE_WAVE_GENERATOR | PIT_ACCESS_MODE_LH | PIT_CHANNEL_0);
     port_byte_out(PORT_PIT_DATA_0, low);