Changeset 218 for soft/giet_vm/sys/kernel_init.c

Timestamp:

Sep 19, 2012, 10:52:43 AM (12 years ago)

Author:

alain

Message:

Introducing support for Network controller

File:

• soft/giet_vm/sys/kernel_init.c (modified) (4 diffs)

soft/giet_vm/sys/kernel_init.c

@@ -33 +33 @@
 
 ///////////////////////////////////////////////////////////////////////////////////
-// Kernel Global variables
+// array of pointers on the page tables (both virtual and physical addresses)
 ///////////////////////////////////////////////////////////////////////////////////
 
@@ -42 +42 @@
 unsigned int                    _ptabs_vaddr[GIET_NB_VSPACE_MAX]; 
 
+///////////////////////////////////////////////////////////////////////////////////
+// array of pointers on the schedulers (physical addresses)
+///////////////////////////////////////////////////////////////////////////////////
+
 __attribute__((section (".kdata"))) 
 static_scheduler_t*             _schedulers_paddr[NB_CLUSTERS*NB_PROCS_MAX]; 
+
+///////////////////////////////////////////////////////////////////////////////////
+// staks for the "idle" tasks (256 bytes for each processor)
+///////////////////////////////////////////////////////////////////////////////////
 
 __attribute__((section (".kdata"))) 
@@ -201 +209 @@
     } 
 
-    // step 5 : initialise the "idle" task context
+    // step 5 : initialise, for each processor, the "idle" task context:
     //          the SR initialisation value is 0xFF03 because
-    //          the task _ctx_idle() executes in kernel mode...
+    //          the task _ctx_idle() executes in kernel mode.
     //          it uses the page table of vspace[0]
+    //          the stack size is 256 bytes
   
     _set_context_slot( IDLE_TASK_INDEX, CTX_RUN_ID,  1 );
     _set_context_slot( IDLE_TASK_INDEX, CTX_SR_ID,   0xFF03 );
-    _set_context_slot( IDLE_TASK_INDEX, CTX_SP_ID,   (unsigned int)&_idle_stack[global_pid] + 64 );
+    _set_context_slot( IDLE_TASK_INDEX, CTX_SP_ID,   (unsigned int)_idle_stack + (global_pid<<8) );
     _set_context_slot( IDLE_TASK_INDEX, CTX_RA_ID,   (unsigned int)&_ctx_eret );
     _set_context_slot( IDLE_TASK_INDEX, CTX_EPC_ID,  (unsigned int)&_ctx_idle );
@@ -233 +242 @@
 
         _get_lock( &_tty_put_lock );
-        _puts("\n [GIET WARNING] No task allocated to processor ");
+        _puts("\n[GIET WARNING] No task allocated to processor ");
         _putd( global_pid );
         _puts(" => idle\n");