diff --git a/src/system/kernel/main.c b/src/system/kernel/main.c
index 5cf1263d4f..1f8b9a0c9c 100644
--- a/src/system/kernel/main.c
+++ b/src/system/kernel/main.c
@@ -15,7 +15,6 @@
 #include <console.h>
 #include <debug.h>
 #include <arch/faults.h>
-#include <arch/dbg_console.h>
 #include <ksyscalls.h>
 #include <vm.h>
 #include <timer.h>