]> git.gag.com Git - fw/openocd/commit
rtos/ChibiOS: Fix some coding styles
authorMarc Schink <openocd-dev@marcschink.de>
Wed, 6 Mar 2019 11:16:53 +0000 (12:16 +0100)
committerAntonio Borneo <borneo.antonio@gmail.com>
Sun, 24 May 2020 20:25:25 +0000 (21:25 +0100)
commitec30634c13e9a311d597b8860a4671d91cfb34a6
tree2db85312d1526be595776eb6ebd9aca7c8b51f95
parent0637047c6549e1e30f38e4084e516a4e6d67a167
rtos/ChibiOS: Fix some coding styles

Change-Id: I2648479df1a2dd95f8a57868c4ed4259e0fbbe11
Signed-off-by: Marc Schink <openocd-dev@marcschink.de>
Reviewed-on: http://openocd.zylin.com/4989
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
src/rtos/ChibiOS.c [deleted file]
src/rtos/Makefile.am
src/rtos/chibios.c [new file with mode: 0644]
src/rtos/rtos.c