Changeset 392 for soft/giet_vm

Timestamp:

Aug 11, 2014, 9:23:55 PM (10 years ago)

Author:

alain

Message:

Cosmetic

File:

• soft/giet_vm/giet_boot/boot.c (modified) (2 diffs)

soft/giet_vm/giet_boot/boot.c

@@ -1283 +1283 @@
 // - In Step 1, it initialises the _schedulers[] pointers array, and scan
 //              the processors to initialise the schedulers, including the
-//              idle_task context (ltid == 14) and HWI / SWI / PTI vectors. 
+//              idle_task context, and the HWI / SWI / PTI vectors. 
 // - In Step 2, it scan all tasks in all vspaces to complete the tasks contexts, 
 //              initialisation as specified in the mapping_info data structure. 
@@ -1457 +1457 @@
                 // - it uses the page table of vspace[0]
                 // - it uses the kernel TTY terminal
-                // - slots containing addresses (SP, RA, EPC, PTAB, PTPR)
-                //   must be re-initialised by kernel_parallel_init()
+                // - slots containing addresses (SP, RA, EPC)
+                //   must be initialised by kernel_init()
 
                 psched[lpid].context[IDLE_TASK_INDEX][CTX_CR_ID]    = 0;