From 51aa6ba7dd96164cc6a1499c1c6f400c2d27b012 Mon Sep 17 00:00:00 2001
From: Quinten Kock <quinten@quinten.space>
Date: Fri, 4 Dec 2020 03:19:24 +0100
Subject: [PATCH] get rid of compiler warnings

---
 kernel/src/arch/i386/ops.c | 2 +-
 kernel/src/arch/x86/vga.c  | 2 ++
 kernel/src/main.c          | 1 +
 kernel/src/print/print.h   | 2 +-
 4 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/kernel/src/arch/i386/ops.c b/kernel/src/arch/i386/ops.c
index 973b572..6239677 100644
--- a/kernel/src/arch/i386/ops.c
+++ b/kernel/src/arch/i386/ops.c
@@ -3,4 +3,4 @@ void halt_catch_fire() {
     while(1) asm volatile ("hlt");
 }
 
-const char *arch = "i386";
\ No newline at end of file
+const char *arch = "i386";
diff --git a/kernel/src/arch/x86/vga.c b/kernel/src/arch/x86/vga.c
index 3bb5fb7..8a7f0f7 100644
--- a/kernel/src/arch/x86/vga.c
+++ b/kernel/src/arch/x86/vga.c
@@ -1,6 +1,8 @@
 #include <stdint.h>
 #include <stddef.h>
 
+#include <print/print.h>
+
 #include "vga.h"
 
 static const size_t VGA_WIDTH = 80;
diff --git a/kernel/src/main.c b/kernel/src/main.c
index f140678..a8b02bb 100644
--- a/kernel/src/main.c
+++ b/kernel/src/main.c
@@ -1,5 +1,6 @@
 #include "arch/x86/vga.h"
 #include "hal/ops.h"
+#include "print/print.h"
 
 void kmain(int argc, char **argv) {
 	printf("Kernel initialized! Platform: %s\n", arch);
diff --git a/kernel/src/print/print.h b/kernel/src/print/print.h
index 4e4be31..7c5ba1d 100644
--- a/kernel/src/print/print.h
+++ b/kernel/src/print/print.h
@@ -1,4 +1,4 @@
-#include "../hal/print.h"
+#include <hal/print.h>
 
 void puts(const char*);
 void print(const char*);