diff --git a/kernel/kshell.h b/kernel/kshell.h
index 56cafd0..db765a4 100644
--- a/kernel/kshell.h
+++ b/kernel/kshell.h
@@ -7,6 +7,7 @@ See the file LICENSE for details.
 #ifndef KSHELL_H
 #define KSHELL_H
 
+int kshell_execute(int argc, const char **argv);
 int kshell_launch();
 
 #endif