Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision fadfaf8e0a1d314df7a833d01e2c60bf6bf09948)
+++ 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 fadfaf8e0a1d314df7a833d01e2c60bf6bf09948)
+++ 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 fadfaf8e0a1d314df7a833d01e2c60bf6bf09948)
+++ 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.
Index: uspace/lib/libc/arch/arm32/src/entry.s
===================================================================
--- uspace/lib/libc/arch/arm32/src/entry.s	(revision fadfaf8e0a1d314df7a833d01e2c60bf6bf09948)
+++ uspace/lib/libc/arch/arm32/src/entry.s	(revision 009474f3b223044d79e0f170d6e75e53e2669d14)
@@ -32,5 +32,4 @@
 
 .global __entry
-.global __entry_driver
 
 ## User-space task entry point
@@ -39,11 +38,4 @@
 __entry:
 	bl __main
-	bl __io_init
 	bl main
 	bl __exit
-
-__entry_driver:
-	bl __main
-	bl main
-	bl __exit
-