Index: boot/arch/arm32/Makefile.inc
===================================================================
--- boot/arch/arm32/Makefile.inc	(revision f94b95b1118101d4318f9cd7f33101a71d8c081a)
+++ boot/arch/arm32/Makefile.inc	(revision c928bb72eb890b957cdc72cdaf2d5b201ee6ba6a)
@@ -57,9 +57,4 @@
 endif
 
-ifeq ($(MACHINE), gxemul)
-RD_SRVS_NON_ESSENTIAL += \
-	$(USPACE_PATH)/srv/bd/gxe_bd/gxe_bd
-endif
-
 RD_DRVS += \
 	infrastructure/rootamdm37x \
Index: boot/arch/arm32/include/main.h
===================================================================
--- boot/arch/arm32/include/main.h	(revision f94b95b1118101d4318f9cd7f33101a71d8c081a)
+++ boot/arch/arm32/include/main.h	(revision c928bb72eb890b957cdc72cdaf2d5b201ee6ba6a)
@@ -63,7 +63,4 @@
 
 
-/** GXemul testarm serial console output register */
-#define TESTARM_SCONS_ADDR	0x10000000
-
 /** IntegratorCP serial console output register */
 #define ICP_SCONS_ADDR		0x16000000
Index: boot/arch/arm32/src/putchar.c
===================================================================
--- boot/arch/arm32/src/putchar.c	(revision f94b95b1118101d4318f9cd7f33101a71d8c081a)
+++ 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);