Changes between Version 74 and Version 75 of WikiStart

Timestamp:

May 26, 2015, 6:26:31 PM (9 years ago)

Author:

alain

Comment:

--

WikiStart

@@ -20 +20 @@
 
 
-== __A) [wiki:mapping_info Mapping]__ ==
+== __1) [wiki:mapping_info Mapping]__ ==
 
 Both the target hardware architecture and the mapping directives (placement of software tasks on the physical processors / placement of the software objects on the physical memory banks) must be described in a python script. This section describes the Python constructs used to describe the mapping. This python script generates the ''map.bin'' C binary  file, that is used by the boot-loader to initialise the system.
 
-== __B) [wiki:boot_loader Boot Procedure]__ ==
+== __2) [wiki:boot_loader Boot Procedure]__ ==
 
 This section describes the three phases boot procedure.
 
-== __C) [wiki:common_functions Common Functions]__ ==
+== __3) [wiki:common_functions Common Functions]__ ==
 
 Here are presented the utility functions that can be used by both the bootloader (in the boot phase), and by the kernel (in the execution phase).
 
-== __D) [wiki:kernel_functions Kernel Services]__ ==
+== __4) [wiki:kernel_functions Kernel Services]__ ==
 
 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.
 
-== __E) [wiki:library_stdio System calls]__ ==
+== __5) [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. 
 
-== __F) [wiki:user_libraries User level libraries]__ ==
+== __6) [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.
 
-== __G) [wiki:peripherals_drivers Peripherals Drivers]__ ==
+== __7) [wiki:peripherals_drivers Peripherals Drivers]__ ==
 
-This section defines the software drivers APIs for the peripherals supported by he GIET_VM. 
+This section defines the software drivers APIs for the peripherals supported by the GIET_VM. 
 
-== __H) [wiki:user_applications User Applications]__ ==
+== __8) [wiki:file_system Peripherals File System]__ ==
+
+This section describes the FAT32 file system supported by the GIET_VM.
+
+== __9) [wiki:user_applications User Applications]__ ==
 
 This section describes the user applications that have been developed to analyse the TSAR many-cores architecture an the GIET_VM OS scalability.
-