Changes between Version 93 and Version 94 of library_stdio

Timestamp:

Jul 17, 2015, 7:34:35 PM (9 years ago)

Author:

alain

Comment:

--

library_stdio

@@ -364 +364 @@
 
  === 1) void '''giet_exit'''( char* string ) ===
-This function stops execution of the calling task with a TTY message explaining the cause. The user task is descheduled and becomes not runable: it does not consume processor cycles anymore.
+This function stops execution of the calling task with a TTY0 message explaining the cause. 
+The user task is descheduled and becomes not runable: it does not consume processor cycles anymore.
 
  === 2) void '''giet_kill_application'''( char* name ) ===
-This function kill the application identified by the vspace '''name''' argument: All tasks are de-activated.
+This function kill the application identified by the vspace '''name''' argument: 
+All tasks are de-activated, the private peripherals or coprocessors are released, but the physical memory
+allocated to the killed application is not released.
 
  === 3) void '''giet_exec_application'''( char* name ) ===
-This function starts execution of the the application identified by the vspace '''name''' argument: 
-The application code and data segment are loaded into memory from the .elf file on device. 
-For all tasks, the stack an heap are re-initialised.
+This function starts execution for the the application identified by the vspace '''name''' argument: 
+The application code and data segment are loaded into memory from the .elf file. 
+All tasks contexts are initialized, and the tasks are activated.
 
  === 4) void '''giet_assert'''( unsigned int condition, char* string ) ===
-This function uses the giet_exit() system call to kill the calling task if the condition is false.
+This function stops exzcution of the calling with a TTY0 message if the condition is false.
 
  === 5) void '''giet_context_switch'''() ===