openocd/src
Asier Llano 6d6207a8d3 rtos: Support for "none" rtos
After a certain RTOS has been configured there is no mechanism
to go back to no RTOS support. It may be useful for debugging
purposes. With the provided modification, the "none" option
of RTOS is provided as a valid option.

It has been tested in two different board (Cortex M4 and Cortex M33).
Documentation has also been updated.

Signed-off-by: Asier Llano <allano@hubbell.com>
Change-Id: I602210bff31ccadd41c41e9454c52b5fffa1671e
Reviewed-on: https://review.openocd.org/c/openocd/+/7092
Tested-by: jenkins
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
2022-08-15 13:19:21 +00:00
..
flash flash/nor: remove useless setting of bus_width and chip_width 2022-08-08 20:52:50 +00:00
helper helper/jim-nvp: avoid camelcase error by deprecated API 2022-07-23 13:59:49 +00:00
jtag drivers/vdebug: add support for DAP level interface 2022-07-30 08:48:21 +00:00
pld openocd: src: replace the GPL-2.0-or-later license tag 2022-07-23 13:59:13 +00:00
rtos rtos: Support for "none" rtos 2022-08-15 13:19:21 +00:00
rtt openocd: src: replace the GPL-2.0-or-later license tag 2022-07-23 13:59:13 +00:00
server openocd: src: replace the GPL-2.0-or-later license tag 2022-07-23 13:59:13 +00:00
svf openocd: src: replace the GPL-2.0-or-later license tag 2022-07-23 13:59:13 +00:00
target target/riscv: Update debug_defines.h. 2022-08-15 13:18:16 +00:00
transport openocd: src: replace the GPL-2.0-or-later license tag 2022-07-23 13:59:13 +00:00
xsvf openocd: src: replace the GPL-2.0-or-later license tag 2022-07-23 13:59:13 +00:00
Makefile.am openocd: build: add SPDX tag 2022-07-23 13:06:38 +00:00
hello.c openocd: src: replace the GPL-2.0-or-later license tag 2022-07-23 13:59:13 +00:00
hello.h openocd: src: replace the GPL-2.0-or-later license tag 2022-07-23 13:59:13 +00:00
main.c openocd: src: replace the GPL-2.0-or-later license tag 2022-07-23 13:59:13 +00:00
openocd.c openocd: src: replace the GPL-2.0-or-later license tag 2022-07-23 13:59:13 +00:00
openocd.h openocd: src: replace the GPL-2.0-or-later license tag 2022-07-23 13:59:13 +00:00