Jaeden Amero 829ca3333b RTX: Actively switch to the idle thread ... Prevent a switch to a NULL target thread by setting the new task to run to be the idle task. Otherwise, we get nasty usage fault because we would be returning from the rt_sys_init SVC with a PSP of 0x20.		2016-06-10 16:56:17 +01:00
..
rtos	Added support for Callback to Thread lifetime	2016-06-01 12:11:05 -05:00
rtx	RTX: Actively switch to the idle thread	2016-06-10 16:56:17 +01:00
mbed_lib.json	RTOS - add config mbed_lib.json file	2016-06-08 18:41:29 +01:00