1 files changed, 1 insertions, 3 deletions
diff --git a/src/cpu/irq.c b/src/cpu/irq.c
index dbd4c10..4a96018 100644
--- a/src/cpu/irq.c
+++ b/src/cpu/irq.c
@@ -2,14 +2,12 @@
 #include "../drivers/uart.h"
 #include "../graphics/drawer.h"
 #include "../sys/core.h"
+#include "../sys/kernel.h"
 #include "../sys/timer.h"
 #include "../util/mutex.h"
 #include "../util/status.h"
 #include "../util/time.h"
 
-extern unsigned long cmdidx;
-extern char cmd[2048];
-
 void localtest(void);
 
 void c_irq_handler(void)