Changeset 329 for soft/giet_vm

Timestamp:

Jun 19, 2014, 1:25:08 PM (11 years ago)

Author:

alain

Message:

Cosmetic

File:

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

soft/giet_vm/giet_boot/boot.c

@@ -1525 +1525 @@
         _puts(",");
         _putd( y );
-        _puts(",[");
+        _puts(",");
         _putd( lpid );
         _puts("]\n");
@@ -2146 +2146 @@
 
 #if BOOT_DEBUG_PERI
-_puts("\n[BOOT DEBUG] ****** peripherals initialisation in cluster[");
+_puts("\n[BOOT DEBUG] Peripherals initialisation in cluster[");
 _putd( x );
 _puts(",");
 _putd( y );
-_puts("] ******\n");
+_puts("]\n");
 #endif
 
@@ -2216 +2216 @@
                 case PERIPH_TYPE_IOB:    // vci_io_bridge component
                 {
-#if 0
                     // initialize r_xicu_base & r_xicu_size registers
                     unsigned int base = (unsigned int)SEG_XCU_BASE;
@@ -2241 +2240 @@
                         // pseg_base[IOB_IOMMU_ACTIVE] = 1;        
                     }
-#endif
                     break;
                 }
@@ -2250 +2248 @@
 _puts("- PIC : channels = ");
 _putd(channels);
-_puts(" at cycle ");
-_putd(_get_proctime());
 _puts("\n");
 #endif
@@ -2288 +2284 @@
 
 #if BOOT_DEBUG_PERI
-_puts("\n[BOOT DEBUG] ****** coprocessors initialisation in cluster[");
+_puts("\n[BOOT DEBUG] Coprocessors initialisation in cluster[");
 _putd( x );
 _puts(",");
 _putd( y );
-_puts("] ******\n");
+_puts("]\n");
 #endif