*** src/logging.c	2016-05-05 09:19:22.000000000 -0400
--- src/logging.c	2016-05-31 15:16:30.799902400 -0400
***************
*** 54,58 ****
--- 54,59 ----
      }
      vfprintf(stderr, format, args);
      va_end(args);
+     fflush(stderr);
      return 1;
  }
*** src/gdbserver/semihosting.c	Sat Feb 25 17:45:21 2017
--- src/gdbserver/semihosting.c	Tue May  9 17:37:09 2017
***************
*** 451,456 ****
--- 451,457 ----
          uint8_t c;
          if (mem_read_u8(sl, r1, &c) == 0) {
              fprintf(stderr, "%c", c);
+ 	    fflush(stderr);
          } else {
              DLOG("Semihosting WRITEC: "
                   "cannot read target memory at 0x%08x\n", r1);
***************
*** 478,483 ****
--- 479,485 ----
                      return 0;
                  }
                  fprintf(stderr, "%c", buf[i]);
+ 		fflush(stderr);
              }
              r1 += WRITE0_BUFFER_SIZE;
          }