Index: arch/ppc32/loader/main.c
===================================================================
--- arch/ppc32/loader/main.c	(revision 63239896e31cbfeec3f47df389bf9d07a669bd44)
+++ arch/ppc32/loader/main.c	(revision 2d69ee6feb76bcb8c397c0125480bc933969b023)
@@ -53,5 +53,5 @@
 	
 	// FIXME: map just the kernel
-	if (ofw_map((void *) KERNEL_PHYSICAL_ADDRESS, (void *) KERNEL_VIRTUAL_ADDRESS, 1024 * 1024, 0) != 0) {
+	if (ofw_map((void *) KERNEL_PHYSICAL_ADDRESS, (void *) KERNEL_VIRTUAL_ADDRESS, memmap.total - 16 * 1024 * 1024, 0) != 0) {
 		printf("Unable to map kernel memory at %L (physical %L)\n", KERNEL_VIRTUAL_ADDRESS, KERNEL_PHYSICAL_ADDRESS);
 		halt();
@@ -62,5 +62,5 @@
 	
 	// FIXME: proper framebuffer mapping
-	ofw_map((void *) 0x84000000, (void *) 0x84000000, 2 * 1024 * 1024, 0);
+	ofw_map((void *) 0x84000000, (void *) 0xf0000000, 2 * 1024 * 1024, 0);
 	
 	printf("Booting the kernel...\n");