Changes between Version 41 and Version 42 of boot_procedure

Timestamp:

Feb 27, 2019, 2:32:35 PM (6 years ago)

Author:

alain

Comment:

--

boot_procedure

@@ -49 +49 @@
 
 A core is identified by  two indexes[cxy][lid] : ''cxy'' is the cluster identifier, an ''lid'' is the core local index in cluster cxy.
-In all clusters, the core with local index 0 is called ''Core0''. 
+ 
 
 We describe below the four phases for the TSAR boot-loader:
@@ -73 +73 @@
 
     * The core[0][0] initializes the stack pointer. The boot stack size is a configuration parameter.
-    * The core[0][0] initializes 2 peripherals: The '''TTY'''terminal (channel 0)  to display log info, and the '''IOC''' to access the disk.
+    * The core[0][0] initializes 2 peripherals: The '''TTY''' terminal (channel 0)  to display log info, and the '''IOC''' to access the disk.
     * The core[0][0] loads in cluster 0 the '''arch_info.bin''' file and the  '''kernel.elf''' file at addresses ARCHINFO_BASE and KERN_BASE respectively.
     * The core[0][0] uses the '''arch_info.bin'''structure to initialize  the local '''boot_info_t''' structure in cluster 0.