Index: arch/ppc32/loader/main.c
===================================================================
--- arch/ppc32/loader/main.c	(revision bc2f26fc7757e73ab62aab0c2ceef993f2d3c2ed)
+++ arch/ppc32/loader/main.c	(revision d9b46ddbe0e489cc0fd5b2d118da99bed6ab7549)
@@ -53,5 +53,5 @@
 	
 	// FIXME: map just the kernel
-	if (ofw_map((void *) KERNEL_PHYSICAL_ADDRESS, (void *) KERNEL_VIRTUAL_ADDRESS, memmap.total - 16 * 1024 * 1024, 0) != 0) {
+	if (ofw_map((void *) KERNEL_PHYSICAL_ADDRESS, (void *) KERNEL_VIRTUAL_ADDRESS, memmap.total - 64 * 1024 * 1024, 0) != 0) {
 		printf("Unable to map kernel memory at %L (physical %L)\n", KERNEL_VIRTUAL_ADDRESS, KERNEL_PHYSICAL_ADDRESS);
 		halt();
@@ -61,6 +61,7 @@
 	memcpy((void *) KERNEL_VIRTUAL_ADDRESS, KERNEL_START, KERNEL_SIZE);
 	
-	// FIXME: proper framebuffer mapping
-	ofw_map((void *) 0x84000000, (void *) 0xf0000000, 2 * 1024 * 1024, 0);
+	// FIXME: proper hardware detection & mapping
+	ofw_map((void *) 0x84000000, (void *) 0xf0000000, 0x01000000, 0);
+	ofw_map((void *) 0x80816000, (void *) 0xf2000000, 0x00018000, 0);
 	
 	printf("Booting the kernel...\n");