1 files changed, 2 insertions, 0 deletions
diff --git a/os/various/shell.h b/os/various/shell.h
index 075d4e264..2946df947 100644
--- a/os/various/shell.h
+++ b/os/various/shell.h
@@ -80,6 +80,8 @@ extern "C" {
 #endif
   void shellInit(void);
   Thread *shellCreate(const ShellConfig *scp, size_t size, tprio_t prio);
+  Thread *shellCreateStatic(const ShellConfig *scp, void *wsp,
+                            size_t size, tprio_t prio);
   bool_t shellGetLine(BaseChannel *chp, char *line, unsigned size);
 #ifdef __cplusplus
 }