Changes between Version 50 and Version 51 of boot_procedure

Timestamp:

Feb 28, 2019, 11:13:33 AM (6 years ago)

Author:

alain

Comment:

--

boot_procedure

@@ -77 +77 @@
 but not at the same time, because in this phase, only core [0][0] is running, while all other cores are blocked in the preloaded, waiting to be activated by an IPI. 
 
-This assembly code makes the assuption that the CP0 register containing the core gid (global hardware identifier) has a fixed format:                              *
- 
-'''gid == (((x << Y_WIDTH) + y) << P_WIDTH) + lid'''                                          *
-                                                                                           *
+This assembly code makes the assuption that the CP0 register containing the core gid (global hardware identifier) has a fixed format:   '''gid''' == ('''cxy''' << 2) + '''lid'''
+
 Each core running this code makes the 3 following actions:                                                                          *
    * It initializes the core stack pointer depending on the '''lid''' value extracted from the '''gid''', using the BOOT_STACK_BASE and BOOT_STACK_SIZE parameters defined in the  ''boot_config.h'' file,                                                                    *
@@ -86 +84 @@
    * It jumps to the boot_loader() C function defined in the ''boot.c'' file, passing the two (cxy , lid) arguments.
 
-In this sequencial phase, the core[0][0]  executes the following actions:
-
+In this sequencial phase, the core[0][0]  executing this C function makes the following actions:
    * The core[0][0] initializes 2 peripherals: The '''TTY''' terminal (channel 0)  to display log messages, and the '''IOC''' peripheral to access the disk.
    * The core[0][0] initializes the boot-loader private FAT32 structure, allowing the boot loader to access files stored in the FAT32 file system on disk.