Index: kernel/arch/mips32/src/mm/km.c
===================================================================
--- kernel/arch/mips32/src/mm/km.c	(revision 55896b6837c19f8fe505af9cbe31069aa02c168b)
+++ kernel/arch/mips32/src/mm/km.c	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
@@ -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_MIPS32_KSEG0_START;
+	config.identity_size = KM_MIPS32_KSEG0_SIZE;
 }
 
 void km_non_identity_arch_init(void)
 {
+	km_non_identity_span_add(KM_MIPS32_KSSEG_START, KM_MIPS32_KSSEG_SIZE);
+	km_non_identity_span_add(KM_MIPS32_KSEG0_START, KM_MIPS32_KSEG0_SIZE);
 }
 
