Index: kernel/arch/arm32/include/machine.h
===================================================================
--- kernel/arch/arm32/include/machine.h	(revision f651e80e2ba6968d9e184dd8ca7fa6e5b779caaf)
+++ kernel/arch/arm32/include/machine.h	(revision 516ff92eec3001ee20baaf6f01de87b1ffef0b48)
@@ -103,16 +103,15 @@
 
 
-#ifdef MACHINE_GXEMUL_TESTARM 	
-#define machine_console_init(devno)           gxemul_console_init(devno)
-#define machine_grab_console                  gxemul_grab_console
-#define machine_release_console               gxemul_release_console 
-#define machine_hw_map_init                   gxemul_hw_map_init
-#define machine_timer_irq_start               gxemul_timer_irq_start
-#define machine_cpu_halt                      gxemul_cpu_halt
-#define machine_get_memory_size               gxemul_get_memory_size
-#define machine_debug_putc(ch)                gxemul_debug_putc(ch)
-#define machine_irq_exception(exc_no, istate) \
-        gxemul_irq_exception(exc_no, istate)
-#define machine_get_fb_address                gxemul_get_fb_address
+#ifdef MACHINE_GXEMUL_TESTARM
+	#define machine_console_init(devno)            gxemul_console_init(devno)
+	#define machine_grab_console                   gxemul_grab_console
+	#define machine_release_console                gxemul_release_console 
+	#define machine_hw_map_init                    gxemul_hw_map_init
+	#define machine_timer_irq_start                gxemul_timer_irq_start
+	#define machine_cpu_halt                       gxemul_cpu_halt
+	#define machine_get_memory_size                gxemul_get_memory_size
+	#define machine_debug_putc(ch)                 gxemul_debug_putc(ch)
+	#define machine_irq_exception(exc_no, istate)  gxemul_irq_exception(exc_no, istate)
+	#define machine_get_fb_address                 gxemul_get_fb_address
 #endif
 
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 516ff92eec3001ee20baaf6f01de87b1ffef0b48)
@@ -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;
 }