mirror of
git://git.code.sf.net/p/openocd/code
synced 2025-07-18 14:04:35 +10:00
36597636f2
Some file miss completely the license tag. Add the SPDX tag, using the same GPL-2.0-or-later license of the OpenOCD project. The SPDX tag on files *.c is incorrect, as it should use the C99 single line comment using '//'. But current checkpatch doesn't allow C99 comments, so keep using standard C comments, by now. Change-Id: I24bd362eeb6b74f09aceb9b757d45cbfa4afe334 Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com> Reviewed-on: https://review.openocd.org/c/openocd/+/7160 Tested-by: jenkins
23 lines
637 B
C
23 lines
637 B
C
/* SPDX-License-Identifier: GPL-2.0-or-later */
|
|
|
|
/*
|
|
* Since at least FreeRTOS V7.5.3 uxTopUsedPriority is no longer
|
|
* present in the kernel, so it has to be supplied by other means for
|
|
* OpenOCD's threads awareness.
|
|
*
|
|
* Add this file to your project, and, if you're using --gc-sections,
|
|
* ``--undefined=uxTopUsedPriority'' (or
|
|
* ``-Wl,--undefined=uxTopUsedPriority'' when using gcc for final
|
|
* linking) to your LDFLAGS; same with all the other symbols you need.
|
|
*/
|
|
|
|
#include "FreeRTOS.h"
|
|
|
|
#ifdef __GNUC__
|
|
#define USED __attribute__((used))
|
|
#else
|
|
#define USED
|
|
#endif
|
|
|
|
const int USED uxTopUsedPriority = configMAX_PRIORITIES - 1;
|