Switched to grub

This really isn't what I wanted because grub is very big and bloaty but
my own bootloader was very poorly written and I really want to implement
a filesystem like ext2 which wouldn't work with my own bootloader.
Furthermore this commit fixes many small issues including the one
occurring due to the statically linked user binary (I just removed
the linking for now).

1 files changed, 1 insertions, 1 deletions

diff --git a/src/kernel/memory/paging.c b/src/kernel/memory/paging.c
index a29d7db..8b5de59 100644
--- a/src/kernel/memory/paging.c
+++ b/src/kernel/memory/paging.c
@@ -2,6 +2,7 @@
 #include <kernel/memory/paging.h>
 #include <kernel/system.h>
 #include <kernel/lib/lib.h>
+#include <kernel/io/io.h>
 
 int paging_enabled = 0;
 
@@ -40,7 +41,6 @@ void paging_install()
 	paging_set_used(0, ((uint32_t)ASM_KERNEL_END >> 12) + 1); // /4096
 
 	paging_enable();
-
 	vga_log("Installed paging");
 }