Complete build system rehaul

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

diff --git a/boot/x86/stage3/paging.c b/boot/x86/stage3/paging.c
index 5a0e5f707db9806fcf84a69930da23810f2369f2..14afe85b84174af78356419a8d1ddb907612069c 100644 (file)
--- a/boot/x86/stage3/paging.c
+++ b/boot/x86/stage3/paging.c
@@ -1,7 +1,7 @@
 /* Code for enabling paging */
 
 #include <stdint.h>
-#include <paging.h>
+#include "paging.h"
 
 /* Preallocated page tables. */
 static uint32_t page_directory[1024] __attribute__((aligned(4096))) __attribute__((section(".data")));