/*
 * Copyright (c) 2006-2018, RT-Thread Development Team
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * Change Logs:
 * Date           Author       Notes
 * 2012-04-15     Bernard      the first version.
 */

#ifndef __PLATFORM_H__
#define __PLATFORM_H__

#include <rtthread.h>

void platform_init(void);

#endif