Add copyright notice

kernel/src/main.c

@@ -7,5 +7,8 @@ void kmain(int argc, char **argv) {
 		vga_puts(argv[i]);
 		vga_putc('\t');
 	}
+
+	vga_setcolor(VGA_DARK_GRAY);
+	vga_write_elsewhere("(c) Quinten Kock 2020 (MIT License)", 24, 0);
 	asm volatile ("hlt");
 }

kernel/src/vga.c

@@ -37,3 +37,17 @@ void vga_puts(char *c) {
 		cur = *(c++);
 	}
 }
+
+void vga_setcolor(uint8_t new_color) {
+	current_color = new_color;
+}
+
+void vga_write_elsewhere(char *c, size_t y, size_t x) {
+	size_t old_row = terminal_row;
+	size_t old_column = terminal_column;
+	terminal_row = y;
+	terminal_column = x;
+	vga_puts(c);
+	terminal_row=old_row;
+	terminal_column=old_column;
+}

kernel/src/vga.h

@@ -1,3 +1,6 @@
+#include <stddef.h>
+#include <stdint.h>
+
 #define VGA_BLACK        0
 #define VGA_BLUE         1
 #define VGA_GREEN        2
@@ -17,3 +20,5 @@
 
 void vga_putc(char c);
 void vga_puts(char *c);
+void vga_setcolor(uint8_t color);
+void vga_write_elsewhere(char *c, size_t y, size_t x);