diff --git a/userspace/src/io.c b/userspace/src/io.c
index 903237bb5..b9d7c41da 100644
--- a/userspace/src/io.c
+++ b/userspace/src/io.c
@@ -45,6 +45,7 @@ static void __core_print_file(struct unit_fw *fw, FILE *filp,
 	fprintf(filp, "[%s%s%s] %s%s%s",
 		color, prefix, reset,
 		color, msg, reset);
+	fflush(stdout);
 }
 
 __attribute__((format (printf, 3, 4)))