Index: kernel/genarch/src/drivers/ega/ega.c
===================================================================
--- kernel/genarch/src/drivers/ega/ega.c	(revision 6404acaa1e897da50572bbec1797ff03ffdc782d)
+++ kernel/genarch/src/drivers/ega/ega.c	(revision c74b9de1187f3b60a7db1aad1e1fcd51ae134f24)
@@ -37,5 +37,4 @@
 #include <debug.h>
 #include <genarch/drivers/ega/ega.h>
-#include <putchar.h>
 #include <mm/km.h>
 #include <mm/as.h>