Index: arch/ppc32/src/console.c
===================================================================
--- arch/ppc32/src/console.c	(revision 40378479b8bf47b5c6ddf534dfbafae2c8441d34)
+++ arch/ppc32/src/console.c	(revision 296cc1b00a0b0d407da1b7afbe1dca5d4402d8b8)
@@ -27,4 +27,5 @@
  */
 
+#include <arch/boot/boot.h>
 #include <arch/console.h>
 #include <console/chardev.h>
@@ -36,5 +37,5 @@
 void ppc32_console_init(void)
 {
-	/* TODO: PCI detection etc. etc. - this is fine in PearPC for now */
-	fb_init(0xf0000000, 800, 600, 4);
+	/* TODO: Framebuffer mapping */
+	fb_init(0xf0000000, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline);
 }