Index: kernel/arch/ppc32/include/mm/km.h
===================================================================
--- kernel/arch/ppc32/include/mm/km.h	(revision bc428e23afb77940e4c15db93c361ee6efc12ac7)
+++ kernel/arch/ppc32/include/mm/km.h	(revision 6641295fbdfb911a7ebc3925355a330624ef110f)
@@ -36,4 +36,10 @@
 #define KERN_ppc32_KM_H_
 
+#define KM_PPC32_IDENTITY_START		UINT32_C(0x80000000)
+#define KM_PPC32_IDENTITY_SIZE		UINT32_C(0x40000000)
+
+#define KM_PPC32_NON_IDENTITY_START	UINT32_C(0xc0000000)
+#define KM_PPC32_NON_IDENTITY_SIZE	UINT32_C(0x40000000)
+
 extern void km_identity_arch_init(void);
 extern void km_non_identity_arch_init(void);
Index: kernel/arch/ppc32/src/mm/km.c
===================================================================
--- kernel/arch/ppc32/src/mm/km.c	(revision bc428e23afb77940e4c15db93c361ee6efc12ac7)
+++ kernel/arch/ppc32/src/mm/km.c	(revision 6641295fbdfb911a7ebc3925355a330624ef110f)
@@ -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_PPC32_IDENTITY_START;
+	config.identity_size = KM_PPC32_IDENTITY_SIZE;
 }
 
 void km_non_identity_arch_init(void)
 {
+	km_non_identity_span_add(KM_PPC32_NON_IDENTITY_START,
+	    KM_PPC32_NON_IDENTITY_SIZE);
 }