Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 05641a9edbf1f7a46db1517a8e99aa0ffa7bdd5d)
+++ kernel/generic/src/syscall/syscall.c	(revision 2fce2753fcd54555b2dd6ffeaab2ee88671d4818)
@@ -42,5 +42,4 @@
 #include <mm/as.h>
 #include <print.h>
-#include <putchar.h>
 #include <arch.h>
 #include <debug.h>