Index: generic/src/mm/as.c
===================================================================
--- generic/src/mm/as.c	(revision c1982e45cfd67b998329f3d32f3b52cbbc6caa5b)
+++ generic/src/mm/as.c	(revision a33c990e74b9d2694cfc129466e85ed7bdc97445)
@@ -98,6 +98,7 @@
 	as_arch_init();
 	AS_KERNEL = as_create(FLAG_AS_KERNEL);
-        if (!AS_KERNEL)
-                panic("can't create kernel address space\n");
+	if (!AS_KERNEL)
+		panic("can't create kernel address space\n");
+	
 }