Index: kernel/arch/arm32/src/drivers/gxemul.c
===================================================================
--- kernel/arch/arm32/src/drivers/gxemul.c	(revision f651e80e2ba6968d9e184dd8ca7fa6e5b779caaf)
+++ kernel/arch/arm32/src/drivers/gxemul.c	(revision 741a7af97a6bf9ef56b7daf5b202cca4bd40abe5)
@@ -134,7 +134,8 @@
  * @param ch Characted to be printed.
  */
-static void gxemul_write(chardev_t *dev, const char ch)
-{
-	*((char *) gxemul_hw_map.videoram) = ch;
+static void gxemul_write(chardev_t *dev, const char ch, bool silent)
+{
+	if (!silent)
+		*((char *) gxemul_hw_map.videoram) = ch;
 }