diff --git a/src/system/kernel/debug/gdb.c b/src/system/kernel/debug/gdb.c
index 902ce7ff3d..ef2d7d89a7 100644
--- a/src/system/kernel/debug/gdb.c
+++ b/src/system/kernel/debug/gdb.c
@@ -15,7 +15,7 @@
 #include <smp.h>
 #include <debug.h>
 #include <gdb.h>
-#include <arch/dbg_console.h>
+#include <arch/debug_console.h>
 
 
 enum { INIT = 0, CMDREAD, CKSUM1, CKSUM2, WAITACK, QUIT, GDBSTATES };