Index: uspace/lib/libc/include/console.h
===================================================================
--- uspace/lib/libc/include/console.h	(revision 416abec29a70691f46cc8099ebc859ce62131c38)
+++ uspace/lib/libc/include/console.h	(revision 0a5116db604a87919e4c9037002491fc9ea6fdfe)
@@ -49,4 +49,6 @@
 extern void console_goto(int, int);
 extern void console_putchar(int);
+extern ssize_t console_write(const char *buf, size_t nbyte);
+extern void console_putstr(const char *s);
 extern void console_flush(void);
 
Index: uspace/lib/libc/include/io/stream.h
===================================================================
--- uspace/lib/libc/include/io/stream.h	(revision 416abec29a70691f46cc8099ebc859ce62131c38)
+++ uspace/lib/libc/include/io/stream.h	(revision 0a5116db604a87919e4c9037002491fc9ea6fdfe)
@@ -45,4 +45,5 @@
 extern ssize_t write_stdout(const void *, size_t);
 extern ssize_t write_stderr(const void *, size_t);
+extern int flush_stdout(void);
 
 #endif
Index: uspace/lib/libc/include/ipc/console.h
===================================================================
--- uspace/lib/libc/include/ipc/console.h	(revision 416abec29a70691f46cc8099ebc859ce62131c38)
+++ uspace/lib/libc/include/ipc/console.h	(revision 0a5116db604a87919e4c9037002491fc9ea6fdfe)
@@ -41,4 +41,5 @@
 	CONSOLE_GETKEY = IPC_FIRST_USER_METHOD,
 	CONSOLE_PUTCHAR,
+	CONSOLE_WRITE,
 	CONSOLE_CLEAR,
 	CONSOLE_GOTO,
Index: uspace/lib/libc/include/ipc/fb.h
===================================================================
--- uspace/lib/libc/include/ipc/fb.h	(revision 416abec29a70691f46cc8099ebc859ce62131c38)
+++ uspace/lib/libc/include/ipc/fb.h	(revision 0a5116db604a87919e4c9037002491fc9ea6fdfe)
@@ -40,4 +40,5 @@
 typedef enum {
 	FB_PUTCHAR = IPC_FIRST_USER_METHOD,
+	FB_WRITE,
 	FB_CLEAR,
 	FB_GET_CSIZE,
Index: uspace/lib/libc/include/stdio.h
===================================================================
--- uspace/lib/libc/include/stdio.h	(revision 416abec29a70691f46cc8099ebc859ce62131c38)
+++ uspace/lib/libc/include/stdio.h	(revision 0a5116db604a87919e4c9037002491fc9ea6fdfe)
@@ -70,4 +70,5 @@
 extern int puts(const char *);
 extern int putchar(int);
+extern int fflush(FILE *);
 
 extern int printf(const char *, ...);