Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision 5d2ab231a2e6c513f459e864da1c59750cce6db7)
+++ generic/src/main/kinit.c	(revision c2b95d3111e055b6d943ddfba623e6f44e4262d0)
@@ -147,5 +147,5 @@
 			panic("config.init_addr is not frame aligned");
 		
-		as = as_create(NULL);
+		as = as_create(NULL, 0);
 		if (!as)
 			panic("as_create\n");
Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 5d2ab231a2e6c513f459e864da1c59750cce6db7)
+++ generic/src/main/main.c	(revision c2b95d3111e055b6d943ddfba623e6f44e4262d0)
@@ -186,5 +186,5 @@
 	 * Create kernel address space.
 	 */
-	as = as_create(GET_PTL0_ADDRESS());
+	as = as_create(GET_PTL0_ADDRESS(), AS_KERNEL);
 	if (!as)
 		panic("can't create kernel address space\n");