openocd: src/rtos: replace the GPL-2.0-or-later license tag
[fw/openocd] / src / rtos / rtos_riot_stackings.h
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2
3 /***************************************************************************
4  *   Copyright (C) 2015 by Daniel Krebs                                    *
5  *   Daniel Krebs - github@daniel-krebs.net                                *
6  ***************************************************************************/
7
8 #ifndef OPENOCD_RTOS_RTOS_RIOT_STACKINGS_H
9 #define OPENOCD_RTOS_RTOS_RIOT_STACKINGS_H
10
11 #ifdef HAVE_CONFIG_H
12 #include "config.h"
13 #endif
14
15 #include "rtos.h"
16
17 extern const struct rtos_register_stacking rtos_riot_cortex_m0_stacking;
18 extern const struct rtos_register_stacking rtos_riot_cortex_m34_stacking;
19
20 #endif  /* OPENOCD_RTOS_RTOS_RIOT_STACKINGS_H */
21