Changes in boot/arch/mips32/src/main.c [a35b458:4646710] in mainline

File:

• boot/arch/mips32/src/main.c (modified) (7 diffs)

boot/arch/mips32/src/main.c

@@ -49 +49 @@
 {
         version_print();
-
+        
         printf("\nMemory statistics\n");
         printf(" %p|%p: CPU map\n", (void *) PA2KA(CPUMAP_OFFSET),
@@ -61 +61 @@
         printf(" %p|%p: bootloader entry point\n",
             (void *) PA2KA(LOADER_OFFSET), (void *) LOADER_OFFSET);
-
+        
         size_t i;
         for (i = 0; i < COMPONENTS; i++)
@@ -70 +70 @@
                     components[i].name, components[i].inflated,
                     components[i].size);
-
+        
         void *dest[COMPONENTS];
         size_t top = 0;
@@ -77 +77 @@
         for (i = 0; i < min(COMPONENTS, TASKMAP_MAX_RECORDS); i++) {
                 top = ALIGN_UP(top, PAGE_SIZE);
-
+                
                 if (i > 0) {
                         bootinfo->tasks[bootinfo->cnt].addr = TOP2ADDR(top);
                         bootinfo->tasks[bootinfo->cnt].size = components[i].inflated;
-
+                        
                         str_cpy(bootinfo->tasks[bootinfo->cnt].name,
                             BOOTINFO_TASK_NAME_BUFLEN, components[i].name);
-
+                        
                         bootinfo->cnt++;
                 }
-
+                
                 dest[i] = TOP2ADDR(top);
                 top += components[i].inflated;
                 cnt++;
         }
-
+        
         printf("\nInflating components ... ");
-
+        
         for (i = cnt; i > 0; i--) {
 #ifdef MACHINE_msim
@@ -104 +104 @@
                 }
 #endif
-
+                
                 printf("%s ", components[i - 1].name);
-
+                
                 int err = inflate(components[i - 1].addr, components[i - 1].size,
                     dest[i - 1], components[i - 1].inflated);
-
+                
                 if (err != EOK) {
                         printf("\n%s: Inflating error %d, halting.\n",
@@ -116 +116 @@
                 }
         }
-
+        
         printf(".\n");
-
+        
         printf("Copying CPU map ... \n");
-
+        
         bootinfo->cpumap = 0;
         for (i = 0; i < CPUMAP_MAX_RECORDS; i++) {
@@ -126 +126 @@
                         bootinfo->cpumap |= (1 << i);
         }
-
+        
         printf("Booting the kernel ... \n");
         jump_to_kernel((void *) PA2KA(BOOT_OFFSET), bootinfo);