Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision 11485decd94f4332ebe6669f9ed7272dcef168d3)
+++ src/main/main.c	(revision cfd6efd2ec638914e675fcd76bc73d6f40897738)
@@ -150,5 +150,5 @@
 	 * Create kernel vm mapping.
 	 */
-	m = vm_create();
+	m = vm_create(GET_PTL0_ADDRESS());
 	if (!m) panic("can't create kernel vm address space\n");