ChangeLog:

- big commit.

tests/hello/hello.c

@@ -18,7 +18,7 @@ int main(void)
 {
     errno = -1;
     int16_t a0 = 0, a1 = 0;
-    a0 = get_text_attr();
+       a0 = get_text_attr();
 
     uint8_t vMode = get_videotextmode();
     set_videotextmode(TEXT_MODE_80x32);
@@ -52,7 +52,7 @@ int main(void)
 
     /* Back to a normal attribute so the goodbye reads cleanly. */
     textattr(COLOR(COLOR_LIGHTGRAY, COLOR_BLACK));
-    printf("a0=%d a1=%d now=%d errno=%d\n",
+    cprintf("a0=%d a1=%d now=%d errno=%d\n\r",
            a0, a1, get_text_attr(), errno);
 #ifdef DEBUG_RT
     printf("w2_self_allocated = %u\n", w2_self_allocated);