Changes between Version 57 and Version 58 of WikiStart

Timestamp:

Nov 5, 2014, 2:40:14 PM (10 years ago)

Author:

alain

Comment:

--

WikiStart

@@ -11 +11 @@
 == __A) [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.
+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 bootloader to iniialise the system.
 
 == __B) [wiki:boot_loader Boot-loader]__ ==
 
-== __C) [wiki:kernel_init Kernel_init]__ ==
+The GIET_VM bootloader load the ''map.bin'' file, build the page tables as specified in the mapping (one page table per virtual space), activates the MMU for all processors, initializes the distributed schedulers (one scheduler per processor), initializes the external (non replicated) peripherals, and load the kernel code, as well as the user application(s) code.
+
+== __C) [wiki:kernel_init Kernel Initialisation]__ ==
 
 == __D) [wiki:common_functions Boot & Kernel 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).
 
 == __E) [wiki:kernel_functions Kernel functions]__ ==