/*
 * Copyright (c) 2017 Intel Corporation.
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#define MAX_DBG_PRINT 64

void start_ws_console(void);
void stop_ws_console(void);

void quit(void);