Renders on Dolphin also.

src/duskdolphin/debug/debug.c

@@ -12,20 +12,25 @@
 static char_t DEBUG_ERROR_BUFFER[16*1024] = {0};
 
 void debugPrint(const char_t *message, ...) {
-  // append to error buffer
   size_t start = strlen(DEBUG_ERROR_BUFFER);
+
   va_list args;
   va_start(args, message);
-  fprintf(stdout, message, args);
-  va_end(args);
-  
-  va_start(args, message);
+
+  // Print to stdout
+  va_list copy;
+  va_copy(copy, args);
+  vfprintf(stdout, message, copy);
+  va_end(copy);
+
+  // Append to buffer
   vsnprintf(
     DEBUG_ERROR_BUFFER + start,
     sizeof(DEBUG_ERROR_BUFFER) - start,
     message,
     args
   );
+
   va_end(args);
 }