mbed rtos - modified for the final project of the course "Advanced Operating Systems"

Dependents:   aos_mbed

Fork of mbed-rtos by mbed official

Revision:
7:80173c64d05d
Parent:
6:350b53afb889
Child:
11:db1fc233faa9
--- a/rtx/rt_Task.c	Fri Nov 23 09:57:31 2012 +0000
+++ b/rtx/rt_Task.c	Fri Nov 23 10:16:38 2012 +0000
@@ -106,7 +106,7 @@
 
 void rt_switch_req (P_TCB p_new) {
   /* Switch to next task (identified by "p_new"). */
-  os_tsk.new   = p_new;
+  os_tsk.new_tsk   = p_new;
   p_new->state = RUNNING;
   DBG_TASK_SWITCH(p_new->task_id);
 }