Index: kernel/generic/include/console/chardev.h
===================================================================
--- kernel/generic/include/console/chardev.h	(revision 53634f9294eaa723f35916cf5364f8cd4ab720f8)
+++ kernel/generic/include/console/chardev.h	(revision 108a60f93deb7351872cdb1a408aedfbc137fd23)
@@ -51,5 +51,5 @@
 	void (* resume)(struct chardev *);
 	/** Write character to stream. */
-	void (* write)(struct chardev *, char c);
+	void (* write)(struct chardev *, char c, bool silent);
 	/** Read character directly from device, assume interrupts disabled. */
 	char (* read)(struct chardev *); 
Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 53634f9294eaa723f35916cf5364f8cd4ab720f8)
+++ kernel/generic/include/console/console.h	(revision 108a60f93deb7351872cdb1a408aedfbc137fd23)
@@ -50,4 +50,7 @@
 extern void putchar(char c);
 
+extern void grab_console(void);
+extern void release_console(void);
+
 extern void arch_grab_console(void);
 extern void arch_release_console(void);
Index: kernel/generic/include/syscall/syscall.h
===================================================================
--- kernel/generic/include/syscall/syscall.h	(revision 53634f9294eaa723f35916cf5364f8cd4ab720f8)
+++ kernel/generic/include/syscall/syscall.h	(revision 108a60f93deb7351872cdb1a408aedfbc137fd23)
@@ -80,4 +80,5 @@
 	
 	SYS_DEBUG_ENABLE_CONSOLE,
+	SYS_DEBUG_DISABLE_CONSOLE,
 	SYS_IPC_CONNECT_KBOX,
 	SYSCALL_END