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