Changeset 50 for trunk/kernel/kern/kernel_init.c

Timestamp:

Jun 26, 2017, 3:15:11 PM (7 years ago)

Author:

alain

Message:

bloup

File:

• trunk/kernel/kern/kernel_init.c (modified) (12 diffs)

trunk/kernel/kern/kernel_init.c

@@ -55 +55 @@
 #include <devfs.h>
 
-// TODO #include <sysfs.h>
 
 #define KERNEL_INIT_SYNCHRO  0xA5A5B5B5
@@ -115 +114 @@
 __attribute__((section(".kdata")))
 barrier_t            local_barrier                           CONFIG_CACHE_LINE_ALIGNED;
+
+// This variable defines the array of supported File System contexts 
+__attribute__((section(".kdata")))
+vfs_ctx_t            fs_context[FS_TYPES_NR]                 CONFIG_CACHE_LINE_ALIGNED;
+
 
 ///////////////////////////////////////////////////////////////////////////////////////////
@@ -293 +297 @@
     }
 
-    kinit_dmsg("\n[INFO] %s : core[%x][0] creates ICU chdev at cycle %d\n",
+    kinit_dmsg("\n[INFO] %s : core[%x][0] created ICU chdev at cycle %d\n",
                __FUNCTION__ , local_cxy , hal_time_stamp() );
 
@@ -335 +339 @@
         }
 
-        kinit_dmsg("\n[INFO] %s : core[%x][0] creates MMC chdev at cycle %d\n",
+        kinit_dmsg("\n[INFO] %s : core[%x][0] created MMC chdev at cycle %d\n",
                    __FUNCTION__ , local_cxy , hal_time_stamp() );
     }
@@ -370 +374 @@
             chdev_dir.dma[channel] = chdev_xp;
 
-            kinit_dmsg("\n[INFO] %s : core[%x][0] creates DMA[%d] chdev at cycle %d\n",
+            kinit_dmsg("\n[INFO] %s : core[%x][0] created DMA[%d] chdev at cycle %d\n",
                        __FUNCTION__ , local_cxy , channel , hal_time_stamp() );
         }
@@ -395 +399 @@
 //
 // TODO check that cluster IO contains a PIC [AG]
+// TODO make a default initialisation for the chdev_dir structure (XPTR_NULL )  [AG]
 ///////////////////////////////////////////////////////////////////////////////////////////
 // @ info    : pointer on the local boot-info structure.
@@ -713 +718 @@
     // CP0 allocates one WTI mailbbox per core for Inter Processor Interrupt
     // this must be done after ICU chdev initialisation, by CP0 only, and before
-    // external devices initialisation to enforce the rule (wti_id == lid)
+    // external devices initialisation to enforce the rule :
+    // "The WTI index for the IPI routed to core[lid] is lid"
     if( core_lid == 0 )
     {
@@ -733 +739 @@
     }
 
-    // CP0 contribute to initialise external peripheral chdev descriptors.
+    // All CP0s contribute to initialise external peripheral chdev descriptors.
     // Each CP0[cxy] scan the set of external (shared) peripherals (but the TXT0),
     // and allocates memory for the chdev descriptors that must be placed
@@ -779 +785 @@
     }
 
-printk("\n bloup 0\n");
-
     // CP0 in all clusters initializes cooperatively VFS and DEVFS 
     if( (core_lid == 0)  )
@@ -786 +790 @@
         xptr_t  root_inode_xp;
 
-        // initialize root File System
+        // initialize root File System (must be FATFS in this implementation)
         if( CONFIG_VFS_ROOT_IS_FATFS )
         {
@@ -804 +808 @@
         }
 
-printk("\n bloup 1\n");
-
         // mount the DEVFS File system
             devfs_mount( root_inode_xp , "dev" );
     }
-
-printk("\n bloup 2\n");
 
     // CP0 in I/O cluster print banner
@@ -844 +844 @@
 
     // each core jump to idle thread
-//    asm volatile( "j thread_idle_func\n" );
+    thread_idle_func();
 
 } // end kernel_init()