WebSVN – HelenOS – Path Comparison – / – /trunk Rev 3384 and /trunk Rev 3387

Ignore whitespace Rev 3384 → Rev 3387

 /trunk/contrib/toolchain/toolchain.ppc32.sh
 ,7 → 20,7
 fi
 BINUTILS_VERSION="2.18"
-GCC_VERSION="4.3.1"
+GCC_VERSION="4.3.2"
 BINUTILS="binutils-${BINUTILS_VERSION}.tar.gz"
 GCC_CORE="gcc-core-${GCC_VERSION}.tar.bz2"

 /trunk/boot/arch/ppc32/loader/main.c
 ,15 → 116,11
         halt();
     }
-    if (!ofw_screen(&bootinfo.screen)) {
-        printf("Error: unable to get screen properties, halting.\n");
-        halt();
-    }
+    if (!ofw_screen(&bootinfo.screen))
+        printf("Warning: unable to get screen properties.\n");
-    if (!ofw_keyboard(&bootinfo.keyboard)) {
-        printf("Error: unable to get keyboard properties, halting.\n");
-        halt();
-    }
+    if (!ofw_keyboard(&bootinfo.keyboard))
+        printf("Warning: unable to get keyboard properties.\n");
     printf("\nDevice statistics\n");
     printf(" screen at %L, resolution %dx%d, %d bpp (scanline %d bytes)\n", bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline);

 /trunk/boot/arch/ppc32/loader/ofwarch.c
 ,7 → 39,13
 void write(const char *str, const int len)
 {
-    ofw_write(str, len);
+    int i;
+    for (i = 0; i < len; i++) {
+        if (str[i] == '\n')
+            ofw_write("\r", 1);
+        ofw_write(&str[i], 1);
+    }
 }
 int ofw_keyboard(keyboard_t *keyboard)