nds32: support FreeRTOS
[openocd.git] / src / rtos / rtos_standard_stackings.h
1 /***************************************************************************
2 * Copyright (C) 2011 by Broadcom Corporation *
3 * Evan Hunter - ehunter@broadcom.com *
4 * *
5 * This program is free software; you can redistribute it and/or modify *
6 * it under the terms of the GNU General Public License as published by *
7 * the Free Software Foundation; either version 2 of the License, or *
8 * (at your option) any later version. *
9 * *
10 * This program is distributed in the hope that it will be useful, *
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of *
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
13 * GNU General Public License for more details. *
14 * *
15 * You should have received a copy of the GNU General Public License *
16 * along with this program; if not, write to the *
17 * Free Software Foundation, Inc., *
18 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. *
19 ***************************************************************************/
20
21 #ifndef INCLUDED_RTOS_STANDARD_STACKINGS_H_
22 #define INCLUDED_RTOS_STANDARD_STACKINGS_H_
23
24 #ifdef HAVE_CONFIG_H
25 #include "config.h"
26 #endif
27
28 #include "rtos.h"
29
30 extern const struct rtos_register_stacking rtos_standard_Cortex_M3_stacking;
31 extern const struct rtos_register_stacking rtos_standard_Cortex_R4_stacking;
32 extern const struct rtos_register_stacking rtos_standard_NDS32_N1068_stacking;
33
34 #endif /* ifndef INCLUDED_RTOS_STANDARD_STACKINGS_H_ */