Changes between Version 65 and Version 66 of WikiStart

Timestamp:

Nov 5, 2014, 5:46:20 PM (10 years ago)

Author:

alain

Comment:

--

WikiStart

@@ -32 +32 @@
 == __D) [wiki:kernel_functions Kernel Services]__ ==
 
-Here are presented the main services provided by the GIET_VM in the execution phase: the syscall handler, the interrupt handler, the exception handler, and the context switch handler.
+Here are presented the functions implementing the main services provided by the GIET_VM in the execution phase:  syscall handler,  interrupt handler,  exception handler, and  context switch handler.
 
-== __F) [wiki:library_stdio System calls]__ ==
+== __E) [wiki:library_stdio System calls]__ ==
 
 Here are presented all the C functions that can be used by an user application (in the execution phase) to require a service to the operating system. All these functions contain a ''syscall'' instruction that force the processor to enter the kernel mode. 
 
-== __G) [wiki:user_libraries User level libraries]__ ==
+== __F) [wiki:user_libraries User level libraries]__ ==
 
 Here are presented various libraries of C functions that can be used by an user application for synchronization,  inter-task communications, or for dynamic memory allocation.
 All these services are provided at user level, and do not require the processor to enter the kernel mode.
 
-== __B) [wiki:peripherals_drivers Peripherals Drivers]__ ==
+== __G) [wiki:peripherals_drivers Peripherals Drivers]__ ==
 
 This section defines the software drivers APIs for the peripherals supported by he GIET_VM.