Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision 11485decd94f4332ebe6669f9ed7272dcef168d3)
+++ src/main/main.c	(revision a8f9a8291c201ef23ba4a707a7a7ceacc7c60ae1)
@@ -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");