stm32f4/start/bspreset.c

0001 /*
0002  * Copyright (c) 2012 Sebastian Huber.  All rights reserved.
0003  *
0004  * The license and distribution terms for this file may be
0005  * found in the file LICENSE in this distribution or at
0006  * http://www.rtems.org/license/LICENSE.
0007  */
0008
0009 #include <rtems.h>
0010
0011 #include <bsp/bootcard.h>
0012
0013 void bsp_reset( rtems_fatal_source source, rtems_fatal_code code )
0014 {
0015   rtems_interrupt_level level;
0016
0017   (void) source;
0018   (void) code;
0019
0020   rtems_interrupt_disable(level);
0021   (void) level;
0022
0023   while (1);
0024 }