/*
* Copyright (c) 2012 embedded brains GmbH. All rights reserved.
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
* http://www.rtems.org/license/LICENSE.
*/
#include <stdbool.h>
#include <bsp/bootcard.h>
void bsp_reset(void)
{
while (true) {
/* Do nothing */
}
}