Index: kernel/generic/include/console/chardev.h
===================================================================
--- kernel/generic/include/console/chardev.h	(revision b9c742533861d30ff1a3f7a0986e6b524800644d)
+++ kernel/generic/include/console/chardev.h	(revision fa36f294e6a3f5cc4a846e9b33621971e0cc3d07)
@@ -74,4 +74,7 @@
 	/** Write character to output. */
 	void (* write)(struct outdev *, wchar_t, bool);
+	
+	/** Redraw any previously cached characters. */
+	void (* redraw)(struct outdev *);
 } outdev_operations_t;