From b11a2a876e7bd14078d26e12eab62db997a4dc76 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 14 Apr 2020 23:42:03 +0200
Subject: 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).
---
 src/kernel/memory/paging.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/kernel/memory/paging.c')

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");
 }
 
-- 
cgit v1.2.3