Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 312cc6835611cf9973757338ffdd91cb89e0ab0a)
+++ kernel/generic/include/console/console.h	(revision 8015eeeca49b33fa24f838db9d0debfdaa86b938)
@@ -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);