/**
 * @file shell_port.h
 */

#ifndef __SHELL_PORT_H__
#define __SHELL_PORT_H__

#include "semphr.h"
#include "shell.h"

extern Shell shell;

void userShellInit(void);
#endif