nds32: support FreeRTOS 77/1577/7
authorHsiangkai Wang <hsiangkai@gmail.com>
Mon, 10 Jun 2013 03:37:24 +0000 (11:37 +0800)
committerSpencer Oliver <spen@spen-soft.co.uk>
Fri, 13 Sep 2013 19:37:45 +0000 (19:37 +0000)
commit356f8a74122b45b383c141358ee7b11adf7a37f0
tree2e1e4f2cd6590a73ac7178cb74adc43363070aa0
parenta8d0fec087b18d44a05124e48fa9f2ef111d3e8a
nds32: support FreeRTOS

Change-Id: I117b5541fb19388c0f5c2344ee42d9151c9a222e
Signed-off-by: Hsiangkai Wang <hsiangkai@gmail.com>
Reviewed-on: http://openocd.zylin.com/1577
Tested-by: jenkins
Reviewed-by: Spencer Oliver <spen@spen-soft.co.uk>
src/rtos/FreeRTOS.c
src/rtos/rtos_standard_stackings.c
src/rtos/rtos_standard_stackings.h