Import the "gerbert" kernel I worked on earlier this year.

It's a lot crappier than I remembered it. It's gonna need a lot of work.

1 files changed, 11 insertions, 0 deletions

diff --git a/Kernel/VGA.h b/Kernel/VGA.h
new file mode 100644
index 0000000000..747e064509
--- /dev/null
+++ b/Kernel/VGA.h
@@ -0,0 +1,11 @@
+#pragma once
+
+#include "types.h"
+
+void vga_init();
+BYTE vga_get_attr();
+void vga_set_attr(BYTE);
+void vga_set_cursor(WORD);
+void vga_set_cursor(BYTE row, BYTE column);
+WORD vga_get_cursor();
+void kprintf(const char *fmt, ...);