openocd: src/rtos: replace the GPL-2.0-or-later license tag
[fw/openocd] / src / rtos / rtos_mqx_stackings.h
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2
3 /***************************************************************************
4  *   Copyright (C) 2014 by Marian Cingel                                   *
5  *   cingel.marian@gmail.com                                               *
6  ***************************************************************************/
7
8 #ifndef OPENOCD_RTOS_RTOS_MQX_STACKINGS_H
9 #define OPENOCD_RTOS_RTOS_MQX_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_mqx_arm_v7m_stacking;
18
19 #endif /* OPENOCD_RTOS_RTOS_MQX_STACKINGS_H */