diff --git a/kernel/src/arch/x86/vga.c b/kernel/src/arch/x86/vga.c
index 018cc19..03c06fc 100644
--- a/kernel/src/arch/x86/vga.c
+++ b/kernel/src/arch/x86/vga.c
@@ -30,7 +30,7 @@ void vga_putc(char c) {
 	}
 }
 
-void vga_puts(char *c) {
+void vga_puts(const char *c) {
 	char cur = *(c++);
 	while(cur != '\0') {
 		vga_putc(cur);
@@ -42,7 +42,7 @@ void vga_setcolor(uint8_t new_color) {
 	current_color = new_color;
 }
 
-void vga_write_elsewhere(char *c, size_t y, size_t x) {
+void vga_write_elsewhere(const char *c, size_t y, size_t x) {
 	size_t old_row = terminal_row;
 	size_t old_column = terminal_column;
 	terminal_row = y;
diff --git a/kernel/src/arch/x86/vga.h b/kernel/src/arch/x86/vga.h
index 30db3e0..175a1c0 100644
--- a/kernel/src/arch/x86/vga.h
+++ b/kernel/src/arch/x86/vga.h
@@ -19,6 +19,6 @@
 #define VGA_WHITE        15
 
 void vga_putc(char c);
-void vga_puts(char *c);
+void vga_puts(const char *c);
 void vga_setcolor(uint8_t color);
-void vga_write_elsewhere(char *c, size_t y, size_t x);
+void vga_write_elsewhere(const char *c, size_t y, size_t x);
diff --git a/kernel/src/arch/x86_64/ops.c b/kernel/src/arch/x86_64/ops.c
index da74f84..d087e50 100644
--- a/kernel/src/arch/x86_64/ops.c
+++ b/kernel/src/arch/x86_64/ops.c
@@ -3,4 +3,4 @@ void halt_catch_fire() {
     while(1) asm volatile ("hlt");
 }
 
-const char *arch = "x86_64";
\ No newline at end of file
+const char *arch = "x86_64";
diff --git a/kernel/src/hal/ops.h b/kernel/src/hal/ops.h
index 8d5289d..f6294a9 100644
--- a/kernel/src/hal/ops.h
+++ b/kernel/src/hal/ops.h
@@ -1,3 +1,3 @@
 void halt_catch_fire();
 
-extern const char *arch;
\ No newline at end of file
+extern const char *arch;