path: root/include/exec_shell.h

extern void __attribute__((__noreturn__)) exec_shell(void);