Changeset 568 for soft/giet_vm/giet_kernel

Timestamp:

May 18, 2015, 7:05:06 PM (9 years ago)

Author:

alain

Message:

Introducing support for the IOC_SDC controller.

File:

• soft/giet_vm/giet_kernel/kernel_init.c (modified) (2 diffs)

soft/giet_vm/giet_kernel/kernel_init.c

@@ -20 +20 @@
 #include <nic_driver.h>
 #include <hba_driver.h>
+#include <sdc_driver.h>
+#include <bdv_driver.h>
 #include <mmc_driver.h>
 #include <ctx_handler.h>
@@ -189 +191 @@
 #endif
 
-        //////  HBA peripheral initialisation
+        //////  IOC peripheral initialisation
         if ( USE_IOC_HBA )
         {
             _hba_init();
-
-            // routing HBA IRQ to proc[0,0,0]
             _ext_irq_alloc( ISR_HBA , 0 , &unused );
+
+#if GIET_DEBUG_INIT
+_nolock_printf("\n[DEBUG KINIT] P[%d,%d,%d] completes HBA init\n", x , y , p );
+#endif
         }
-
-#if GIET_DEBUG_INIT
-_nolock_printf("\n[DEBUG KINIT] P[%d,%d,%d] completes HBA init\n", x , y , p );
-#endif
+        if ( USE_IOC_SDC )
+        {
+            _sdc_init();
+            _ext_irq_alloc( ISR_SDC , 0 , &unused );
+
+#if GIET_DEBUG_INIT
+_nolock_printf("\n[DEBUG KINIT] P[%d,%d,%d] completes SDC init\n", x , y , p );
+#endif
+        }
+        if ( USE_IOC_BDV )
+        {
+            _bdv_init();
+            _ext_irq_alloc( ISR_BDV , 0 , &unused );
+
+#if GIET_DEBUG_INIT
+_nolock_printf("\n[DEBUG KINIT] P[%d,%d,%d] completes BDV init\n", x , y , p );
+#endif
+        }
 
         //////  release other processors