new OS

kernel/terminal.h

@@ -0,0 +1,11 @@
+#ifndef TERMINAL_H
+#define TERMINAL_H
+
+#include <stdint.h>
+
+void terminal_initialize(void);
+void terminal_putchar(char c);
+void terminal_write(const char *str);
+void terminal_setcolor(uint8_t color);
+
+#endif