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 d57c7c22ec10cecc3ee30ee28e44f7702e425a37)
@@ -37,5 +37,4 @@
 #include <debug.h>
 #include <genarch/drivers/ega/ega.h>
-#include <putchar.h>
 #include <mm/km.h>
 #include <mm/as.h>