diff --git a/kernel/kshell.h b/kernel/kshell.h
index db765a4..99e6661 100644
--- a/kernel/kshell.h
+++ b/kernel/kshell.h
@@ -10,4 +10,7 @@ See the file LICENSE for details.
 int kshell_execute(int argc, const char **argv);
 int kshell_launch();
 
+#ifdef KSHELL_EXT
+  #include "kshell_ext.h"
+#endif
 #endif