Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision 5d2ab231a2e6c513f459e864da1c59750cce6db7)
+++ generic/src/main/kinit.c	(revision 4a2f4bb11f3b7c88eee45262b755ff5f2f153dc1)
@@ -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 4a2f4bb11f3b7c88eee45262b755ff5f2f153dc1)
@@ -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");