Index: uspace/app/taskdump/taskdump.c
===================================================================
--- uspace/app/taskdump/taskdump.c	(revision a074b4f9d5cf65707ae3aaffaf4564453f710efd)
+++ 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;