openocd: src/rtos: replace the GPL-2.0-or-later license tag
[fw/openocd] / src / rtos / rtos_embkernel_stackings.h
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2
3 /***************************************************************************
4  *   Copyright (C) 2011 by Broadcom Corporation                            *
5  *   Evan Hunter - ehunter@broadcom.com                                    *
6  ***************************************************************************/
7
8 #ifndef OPENOCD_RTOS_RTOS_EMBKERNEL_STACKINGS_H
9 #define OPENOCD_RTOS_RTOS_EMBKERNEL_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_embkernel_cortex_m_stacking;
18
19 #endif /* OPENOCD_RTOS_RTOS_EMBKERNEL_STACKINGS_H */