Add BCM2835 (Raspberry Pi) framebuffer and mailbox implementations

kernel/start_kernel.c

@@ -25,7 +25,7 @@
 #include <print.h>
 #include <devices/pi_mini_uart.h>
 
-#include <devices/pl111.h>
+#include <devices/bcm2835_videocore.h>
 #include <framebuffer.h>
 #include <console.h>
 
@@ -33,10 +33,10 @@ struct fb myfb;
 
 void video(void) {
 	unsigned int x, y;
-	pl111_init(&myfb, 24);
-	x = 0, y = 0;
-	for (y=0; y<480; y++)
-		for (x=0; x<640; x++)
+	bcm2835_videocore_init(&myfb, 16);
+
+	for (y = 0; y < myfb.height; y++)
+		for (x = 0; x < myfb.width; x++)
 			fb_write_pixel(&myfb, x, y, 0x3f, 0x0, 0x6f);
 
 	console_init(&myfb);