/* Terminate execution of a thread and remove it from ActiveThreads.  */
osStatus svcThreadTerminate(osThreadId thread_id)
/* Terminate execution of a thread and remove it from ActiveThreads.  */
osStatus svcThreadTerminate(osThreadId thread_id)
{                            
    rt_free_mem(os_stack_mem, stk);
  }
  return osOK;
}