rtos: add support for RIOT
authorDaniel Krebs <github@daniel-krebs.net>
Mon, 5 Oct 2015 13:37:57 +0000 (15:37 +0200)
committerAntonio Borneo <borneo.antonio@gmail.com>
Sun, 26 Jul 2020 19:11:52 +0000 (20:11 +0100)
commit6a78c8581d81665969f24563faccd220de517961
treeeef19f0bcb6ec91bae848dd9b060bc50f5e5ed2d
parentcf902f7034efd8c9db248b631420838679e9a1ed
rtos: add support for RIOT

Add threads support for RIOT (https://github.com/RIOT-OS/RIOT).
Original code is from Daniel Krebs.

Change-Id: I83fe3b91dd75949e800b5aea1015d8fa37b09c61
Signed-off-by: Daniel Krebs <github@daniel-krebs.net>
Signed-off-by: Vincent Dupont <vincent@otakeys.com>
Signed-off-by: Benjamin Valentin <benpicco@googlemail.com>
Reviewed-on: http://openocd.zylin.com/4256
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
doc/openocd.texi
src/rtos/Makefile.am
src/rtos/riot.c [new file with mode: 0644]
src/rtos/rtos.c
src/rtos/rtos_riot_stackings.c [new file with mode: 0644]
src/rtos/rtos_riot_stackings.h [new file with mode: 0644]