Index: boot/arch/arm32/src/putchar.c
===================================================================
--- boot/arch/arm32/src/putchar.c	(revision c6b601bdd702c4c6d999199197ef60a2666c3a78)
+++ boot/arch/arm32/src/putchar.c	(revision c928bb72eb890b957cdc72cdaf2d5b201ee6ba6a)
@@ -87,17 +87,4 @@
 #endif
 
-#ifdef MACHINE_testarm
-
-/** Send a byte to the GXemul testarm serial console.
- *
- * @param byte		Byte to send.
- */
-static void scons_sendb_testarm(uint8_t byte)
-{
-	*((volatile uint8_t *) TESTARM_SCONS_ADDR) = byte;
-}
-
-#endif
-
 #ifdef MACHINE_integratorcp
 
@@ -125,7 +112,4 @@
 	scons_sendb_gta02(byte);
 #endif
-#ifdef MACHINE_testarm
-	scons_sendb_testarm(byte);
-#endif
 #ifdef MACHINE_integratorcp
 	scons_sendb_icp(byte);