/*
 * Copyright (c) 2006-2021, RT-Thread Development Team
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * Change Logs:
 * Date           Author       Notes
 * 2011-01-13     weety      modified from mini2440
 * 2015-04-27     ArdaFu      Port bsp from at91sam9260 to asm9260t
 */

#include <rtthread.h>

void machine_reset(void)
{

}

void machine_shutdown(void)
{

}