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 4a10b633a3da1b330c452bb67c605953783841e4)
@@ -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;
 }