Index: uspace/app/taskdump/taskdump.c
===================================================================
--- uspace/app/taskdump/taskdump.c	(revision 03333bc223dc846dc807310907f6e1ab53151b88)
+++ uspace/app/taskdump/taskdump.c	(revision bc310a05ba9e9da83dfe5f2096a36e10f288e414)
@@ -66,4 +66,11 @@
 	int rc;
 
+	/*
+	 * FIXME: The stdio module cannot currently detect whether we are
+	 * writing to a console or file. This workaround make file output
+	 * faster.
+	 */
+	setvbuf(stdout, NULL, _IOFBF, 32768);
+
 	printf("Task Dump Utility\n");
 	dump_memory = false;