Index: uspace/lib/libc/generic/console.c
===================================================================
--- uspace/lib/libc/generic/console.c	(revision 416abec29a70691f46cc8099ebc859ce62131c38)
+++ uspace/lib/libc/generic/console.c	(revision dc033a109f5ba532e236382c55cb83e342bdfe06)
@@ -39,7 +39,29 @@
 #include <ipc/console.h>
 #include <ipc/services.h>
+#include <errno.h>
+#include <string.h>
 #include <console.h>
 
 static int console_phone = -1;
+
+/** Size of cbuffer. */
+#define CBUFFER_SIZE 256
+
+/** Buffer for writing characters to the console. */
+static char cbuffer[CBUFFER_SIZE];
+
+/** Pointer to end of cbuffer. */
+static char *cbuffer_end = cbuffer + CBUFFER_SIZE;
+
+/** Pointer to first available field in cbuffer. */
+static char *cbp = cbuffer;
+
+static ssize_t cons_write(const char *buf, size_t nbyte);
+static void cons_putchar(int c);
+
+static void cbuffer_flush(void);
+static void cbuffer_drain(void);
+static void cbuffer_putc(int c);
+
 
 void console_open(bool blocking)
@@ -85,4 +107,6 @@
 {
 	int cons_phone = console_phone_get(true);
+
+	cbuffer_drain();
 	async_msg_0(cons_phone, CONSOLE_CLEAR);
 }
@@ -91,4 +115,6 @@
 {
 	int cons_phone = console_phone_get(true);
+
+	cbuffer_flush();
 	async_msg_2(cons_phone, CONSOLE_GOTO, row, col);
 }
@@ -96,11 +122,116 @@
 void console_putchar(int c)
 {
+	cbuffer_putc(c);
+}
+
+/** Write all data from output buffer to the console. */
+static void cbuffer_flush(void)
+{
+	int rc;
+	int len;
+
+	len = cbp - cbuffer;
+
+	while (len > 0) {
+		rc = cons_write(cbuffer, cbp - cbuffer);
+		if (rc < 0)
+			return;
+
+		len -= rc;
+	}
+
+	cbp = cbuffer;
+}
+
+/** Drop all data in console output buffer. */
+static void cbuffer_drain(void)
+{
+	cbp = cbuffer;
+}
+
+/** Write one character to the output buffer. */
+static inline void cbuffer_putc(int c)
+{
+	if (cbp == cbuffer_end)
+		cbuffer_flush();
+
+	*cbp++ = c;
+
+	if (c == '\n')
+		cbuffer_flush();
+}
+
+/** Write one character to the console via IPC. */
+static void cons_putchar(int c)
+{
 	int cons_phone = console_phone_get(true);
 	async_msg_1(cons_phone, CONSOLE_PUTCHAR, c);
 }
 
+/** Write characters to the console via IPC. */
+static ssize_t cons_write(const char *buf, size_t nbyte) 
+{
+	int cons_phone = console_phone_get(true);
+	ipcarg_t rc;
+	ipc_call_t answer;
+	aid_t req;
+
+	async_serialize_start();
+	
+	req = async_send_0(cons_phone, CONSOLE_WRITE, &answer);
+	rc = ipc_data_write_start(cons_phone, (void *) buf, nbyte);
+
+	if (rc != EOK) {
+		async_wait_for(req, NULL);
+		async_serialize_end();
+		return (ssize_t) rc;
+	}
+
+	async_wait_for(req, &rc);
+	async_serialize_end();
+
+	if (rc == EOK)
+		return (ssize_t) IPC_GET_ARG1(answer);
+	else
+		return -1;
+}
+
+/** Write characters to the console. */
+ssize_t console_write(const char *buf, size_t nbyte) 
+{
+	size_t left;
+
+	left = nbyte;
+
+	while (left > 0) {
+		cbuffer_putc(*buf++);
+		--left;
+	}
+
+	return nbyte;
+}
+
+/** Write a NULL-terminated string to the console. */
+void console_putstr(const char *s)
+{
+	size_t len;
+	ssize_t rc;
+
+	len = strlen(s);
+	while (len > 0) {
+		rc = console_write(s, len);
+		if (rc < 0)
+			return; /* Error */
+		s += rc;
+		len -= rc;
+	}
+}
+
+/** Flush all output to the console. */
 void console_flush(void)
 {
-	int cons_phone = console_phone_get(true);
+	int cons_phone = console_phone_get(false);
+
+	cbuffer_flush();
 	async_msg_0(cons_phone, CONSOLE_FLUSH);
 }
@@ -123,4 +254,6 @@
 {
 	int cons_phone = console_phone_get(true);
+
+	cbuffer_flush();
 	async_msg_1(cons_phone, CONSOLE_SET_STYLE, style);
 }
@@ -129,4 +262,6 @@
 {
 	int cons_phone = console_phone_get(true);
+
+	cbuffer_flush();
 	async_msg_3(cons_phone, CONSOLE_SET_COLOR, fg_color, bg_color, flags);
 }
@@ -135,4 +270,6 @@
 {
 	int cons_phone = console_phone_get(true);
+
+	cbuffer_flush();
 	async_msg_2(cons_phone, CONSOLE_SET_RGB_COLOR, fg_color, bg_color);
 }
@@ -141,4 +278,6 @@
 {
 	int cons_phone = console_phone_get(true);
+
+	cbuffer_flush();
 	async_msg_1(cons_phone, CONSOLE_CURSOR_VISIBILITY, show != 0);
 }
Index: uspace/lib/libc/generic/io/io.c
===================================================================
--- uspace/lib/libc/generic/io/io.c	(revision 416abec29a70691f46cc8099ebc859ce62131c38)
+++ uspace/lib/libc/generic/io/io.c	(revision dc033a109f5ba532e236382c55cb83e342bdfe06)
@@ -98,4 +98,6 @@
 {
 	unsigned char c;
+
+	flush_stdout();
 	if (read_stdin((void *) &c, 1) == 1)
 		return c;
@@ -104,4 +106,10 @@
 }
 
+int fflush(FILE *f)
+{
+	(void) f;
+	return flush_stdout();
+}
+
 /** @}
  */
Index: uspace/lib/libc/generic/io/stream.c
===================================================================
--- uspace/lib/libc/generic/io/stream.c	(revision 416abec29a70691f46cc8099ebc859ce62131c38)
+++ uspace/lib/libc/generic/io/stream.c	(revision dc033a109f5ba532e236382c55cb83e342bdfe06)
@@ -81,14 +81,27 @@
 {
 	int cons_phone = console_phone_get(false);
+	int left, rc;
 
 	if (cons_phone >= 0) {
 		int i;
 
-		for (i = 0; i < count; i++)
-			console_putchar(((const char *) buf)[i]);
+		left = count;
+		while (left > 0) {
+			rc = console_write(buf, left);
+			if (rc < 0)
+				break;
+			buf += rc;
+			left -= rc;
+		}
 
 		return count;
 	} else
 		return __SYSCALL3(SYS_KLOG, 1, (sysarg_t) buf, count);
+}
+
+int flush_stdout(void)
+{
+	console_flush();
+	return 0;
 }
 
