/*
 * SPDX-License-Identifier: Apache-2.0
 *
 * Date           Author       Notes
 * 2018-12-29     ChenYong     first implementation
 */

#ifndef __CONSOLE_H__
#define __CONSOLE_H__

// TODO:
#include <rtthread.h>

#define console_printf rt_kprintf

#endif