Load ELF kernel instead of flat binary

[nameless-os.git] / boot / x86 / stage3 / paging.c

diff --git a/boot/x86/stage3/paging.c b/boot/x86/stage3/paging.c
index 0482dedf9f98d63f3f2e28f7e53c431ec4c715fb..5a0e5f707db9806fcf84a69930da23810f2369f2 100644 (file)
--- a/boot/x86/stage3/paging.c
+++ b/boot/x86/stage3/paging.c
@@ -1,12 +1,9 @@
 /* Code for enabling paging */
 
 #include <stdint.h>
+#include <paging.h>
 
-#define ADDRESS_NOT_ALIGNED 1
-#define INVL_ADDRESS 2
-#define ADDRESS_ALREADY_MAPPED 3
-#define ADDRESS_RANGE_MISMATCHED 4
-
+/* Preallocated page tables. */
 static uint32_t page_directory[1024] __attribute__((aligned(4096))) __attribute__((section(".data")));
 static uint32_t page_table_firstmb[1024] __attribute__((aligned(4096))) __attribute__((section(".data")));
 static uint32_t page_table_kernel[1024] __attribute__((aligned(4096))) __attribute__((section(".data")));