/* This function returns current finsh shell input device. */
const char* finsh_get_device()
/* This function returns current finsh shell input device. */
const char* finsh_get_device()
{
    RT_ASSERT(shell != RT_NULL);
    return shell->device->parent.name;
}