Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision d5b37b625566a35b56a2768799f8082882139e67)
+++ kernel/generic/include/console/console.h	(revision 94abc30c6c3ad90d04738b4142cd68b0b30ef202)
@@ -64,5 +64,5 @@
 extern void kio_update(void *);
 extern void kio_flush(void);
-extern void kio_push_char(const char32_t);
+extern void kio_push_bytes(const char *, size_t);
 extern irq_spinlock_t kio_lock;
 
@@ -78,4 +78,6 @@
 extern void console_unlock(void);
 
+extern void putstr(const char *s, size_t n);
+
 #endif /* KERN_CONSOLE_H_ */