Index: kernel/arch/arm32/include/mm/km.h
===================================================================
--- kernel/arch/arm32/include/mm/km.h	(revision 5dc34af03a1f39b6300d225be85fb9a89e65f2db)
+++ kernel/arch/arm32/include/mm/km.h	(revision 77a493aeaf33d7336bb9ff48c3b24021eeaa2bc5)
@@ -36,4 +36,10 @@
 #define KERN_arm32_KM_H_
 
+#define KM_ARM32_IDENTITY_START		UINT32_C(0x80000000)
+#define KM_ARM32_IDENTITY_SIZE		UINT32_C(0x40000000)
+
+#define KM_ARM32_NON_IDENTITY_START	UINT32_C(0xc0000000)
+#define KM_ARM32_NON_IDENTITY_SIZE	UINT32_C(0x40000000)
+
 extern void km_identity_arch_init(void);
 extern void km_non_identity_arch_init(void);
Index: kernel/arch/arm32/src/mm/km.c
===================================================================
--- kernel/arch/arm32/src/mm/km.c	(revision 5dc34af03a1f39b6300d225be85fb9a89e65f2db)
+++ kernel/arch/arm32/src/mm/km.c	(revision 77a493aeaf33d7336bb9ff48c3b24021eeaa2bc5)
@@ -32,11 +32,17 @@
 
 #include <arch/mm/km.h>
+#include <mm/km.h>
+#include <config.h>
 
 void km_identity_arch_init(void)
 {
+	config.identity_base = KM_ARM32_IDENTITY_START;
+	config.identity_size = KM_ARM32_IDENTITY_SIZE;
 }
 
 void km_non_identity_arch_init(void)
 {
+	km_non_identity_span_add(KM_ARM32_NON_IDENTITY_START,
+	    KM_ARM32_NON_IDENTITY_SIZE);
 }