Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision a02e38367128b91da1fa803da73319a5ae37fb92)
+++ kernel/generic/include/console/console.h	(revision 907bb492e6b79b87fceb2fb84e09b4834b52e273)
@@ -54,7 +54,11 @@
 extern count_t gets(indev_t *indev, char *buf, size_t buflen);
 extern void putchar(char c);
+extern unative_t sys_klog(int fd, const void * buf, size_t count);
 
 extern void grab_console(void);
 extern void release_console(void);
+
+extern unative_t sys_debug_enable_console(void);
+extern unative_t sys_debug_disable_console(void);
 
 extern void arch_grab_console(void);