#include #include int shell_ping() { *__shell_shm = SHELL_PING; _ksys_thread_yield(); _ksys_delay(40); return *__shell_shm == SHELL_OK; }