1 files changed, 0 insertions, 9 deletions
diff --git a/drivers/include/vgatext.h b/drivers/include/vgatext.h
deleted file mode 100644
index 1cfe4c4..0000000
--- a/drivers/include/vgatext.h
+++ /dev/null
@@ -1,9 +0,0 @@
-#include <stdint.h>
-
-void vgatext_init(void);
-void vgatext_clear(void);
-void vgatext_set_color(uint8_t);
-uint8_t vgatext_get_color(void);
-void vgatext_putchar_at(int ch, uint8_t color, int x, int y);
-void vgatext_putchar(int ch);
-void vgatext_puts(const char*);