Rename & scheduler stuff

src/hal/apic.c

@@ -5,7 +5,7 @@
 #include "ioapic.h"
 #include <lock.h>
 #include <kprint.h>
-#include <SFB25.h>
+#include <neobbo.h>
 #include <cpuid.h> // GCC specific
 
 #define LAPIC_ID_REG                0x020

src/hal/idt.c

@@ -3,7 +3,7 @@
 #include "timer.h"
 #include <kprint.h>
 #include <lock.h>
-#include <SFB25.h>
+#include <neobbo.h>
 idt_descriptor idt[256] = {0};
 
 idt_register idtr = {sizeof(idt)-1, (uint64_t)(&idt)};

src/hal/ioapic.c

@@ -1,7 +1,7 @@
 
 #include <stdint.h>
 #include <kprint.h>
-#include <SFB25.h>
+#include <neobbo.h>
 #include "../sys/acpi.h"
 #include "error.h"
 

src/hal/smp.c

@@ -2,7 +2,7 @@
 #include <stdbool.h>
 #include <stdint.h>
 #include <kprint.h>
-#include <SFB25.h>
+#include <neobbo.h>
 #include "gdt.h"
 #include "smp.h"
 #include "apic.h"

src/hal/timer.c

@@ -4,7 +4,7 @@
 #include "../drivers/pmt.h"
 #include "timer.h"
 #include <kprint.h>
-#include <SFB25.h>
+#include <neobbo.h>
 
 /* Determines which timer will be used for calibration */
 int calibration_timer = -1;