Index: kernel/generic/include/console/chardev.h
===================================================================
--- kernel/generic/include/console/chardev.h	(revision 8015eeeca49b33fa24f838db9d0debfdaa86b938)
+++ kernel/generic/include/console/chardev.h	(revision accc0887f333ba7bb7e25d5030cc6c2df175d863)
@@ -72,5 +72,5 @@
 typedef struct {
 	/** Write character to output. */
-	void (* write)(struct outdev *, char c, bool silent);
+	void (* write)(struct outdev *, wchar_t c, bool silent);
 } outdev_operations_t;
 
Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision 8015eeeca49b33fa24f838db9d0debfdaa86b938)
+++ kernel/generic/include/console/console.h	(revision accc0887f333ba7bb7e25d5030cc6c2df175d863)
@@ -53,5 +53,4 @@
 extern uint8_t _getc(indev_t *indev);
 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);