rtos: support FreeRTOS over stlink
commita136b08fc3ad4a9cc17ff0e5a23315f302ee5f48
authorPaul Fertser <fercerpav@gmail.com>
Thu, 17 May 2012 19:38:25 +0000 (17 23:38 +0400)
committerSpencer Oliver <spen@spen-soft.co.uk>
Mon, 8 Oct 2012 20:36:18 +0000 (8 20:36 +0000)
treecf05cae026971bb214085fb7899a028e17686280
parent006a1084949208f2f83aecf7f5467ea76f89f52a
rtos: support FreeRTOS over stlink

Since stlink is a special case it presents the same CPU core under a
different name, so copy the configuration to account for that.

Change-Id: I9febf79b388301bde6211d185b5b8161cdadb9ff
Signed-off-by: Paul Fertser <fercerpav@gmail.com>
Reviewed-on: http://openocd.zylin.com/652
Tested-by: jenkins
Reviewed-by: Spencer Oliver <spen@spen-soft.co.uk>
src/rtos/FreeRTOS.c