Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/arm32/Makefile.inc	(revision 009474f3b223044d79e0f170d6e75e53e2669d14)
@@ -38,7 +38,7 @@
 KERNEL_LOAD_ADDRESS = 0x80200000
 
-ifeq ($(MACHINE), gxemul_testarm)
+# ifeq ($(MACHINE), gxemul_testarm)
 	DMACHINE = MACHINE_GXEMUL_TESTARM
-endif
+# endif
 
 ATSIGN = %
@@ -91,6 +91,6 @@
 	arch/$(ARCH)/src/mm/page_fault.c
 
-ifeq ($(MACHINE), gxemul_testarm)
+# ifeq ($(MACHINE), gxemul_testarm)
 	ARCH_SOURCES += arch/$(ARCH)/src/drivers/gxemul.c
-endif
+# endif
 
Index: kernel/arch/arm32/include/types.h
===================================================================
--- kernel/arch/arm32/include/types.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/arm32/include/types.h	(revision 009474f3b223044d79e0f170d6e75e53e2669d14)
@@ -65,4 +65,26 @@
 typedef int32_t native_t;
 
+#define PRIp "x"	/**< Format for uintptr_t. */
+#define PRIs "u"	/**< Format for size_t. */
+#define PRIc "u"	/**< Format for count_t. */
+#define PRIi "u"	/**< Format for index_t. */
+
+#define PRId8 "d"	/**< Format for int8_t. */
+#define PRId16 "d"	/**< Format for int16_t. */
+#define PRId32 "d"	/**< Format for int32_t. */
+#define PRId64 "lld"	/**< Format for int64_t. */
+#define PRIdn "d"	/**< Format for native_t. */
+
+#define PRIu8 "u"	/**< Format for uint8_t. */
+#define PRIu16 "u"	/**< Format for uint16_t. */
+#define PRIu32 "u"	/**< Format for uint32_t. */
+#define PRIu64 "llu"	/**< Format for uint64_t. */
+#define PRIun "u"	/**< Format for unative_t. */
+
+#define PRIx8 "x"	/**< Format for hexadecimal (u)int8_t. */
+#define PRIx16 "x"	/**< Format for hexadecimal (u)int16_t. */
+#define PRIx32 "x"	/**< Format for hexadecimal (u)uint32_t. */
+#define PRIx64 "llx"	/**< Format for hexadecimal (u)int64_t. */
+#define PRIxn "x"	/**< Format for hexadecimal (u)native_t. */
 
 /** Page table entry.
Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 009474f3b223044d79e0f170d6e75e53e2669d14)
@@ -41,4 +41,5 @@
 #include <arch.h>
 #include <interrupt.h>
+#include <print.h>
 
 /** Returns value stored in fault status register.