Changes between Version 59 and Version 60 of boot_procedure

Timestamp:

Mar 5, 2019, 6:25:09 PM (6 years ago)

Author:

alain

Comment:

--

boot_procedure

@@ -218 +218 @@
 === D10) Process init creation ===
 
-The core[0] in cluster[0] creates (i.e. allocates memory, and initializes) the process descriptor for the first user process. This includes the VMM initialization (both the user GPT and VSL inherits relevant informations from the kernel GPT and VSL).
+The core[0] in cluster[0] creates (i.e. allocates memory, and initializes) the process descriptor for the first user process. This includes the VMM initialization : the user process GPT and VSL inherits relevant informations from the kernel process GPT and VSL.
 
 The core[0] in cluster[0] displays the ALMOS-MK banner.
 
-A last synchronization barrier is used before jumping to idle_thread function
-
-=== D11) Enter idle_thread ===
-
-Finally, each core enables its private timer IRQ to activate its private scheduler, and jump to the idle_thread code,
-that contains an infinite loop waiting for an useful thread to be scheduled.
+A last synchronization barrier is used before jumping to the idle_thread() function.
+
+=== D11) Scheduler activation ===
+
+Finally, all cores make the three following actions:
+  * initialise the registers, defining the kernel entry point(s) in case of interrupt, exception or system call.
+  * set the TICK timer, and unmask interrupts to activate the scheduler.
+  * jump to the idle_thread() function, and wait for an useful thread to be scheduled.