Changes in kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c [c5429fe:73abf49] in mainline

File:

• kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c (modified) (2 diffs)

kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c

@@ -161 +161 @@
                 spinlock_unlock(&irq->lock);
         } else {
-                /* Spurious interrupt.*/
+                /* Spurious interrupt. */
                 printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum);
                 bcm2835_irc_disable(raspi.irc, inum);
@@ -174 +174 @@
 {
 #ifdef CONFIG_FB
+        uint32_t width, height;
         fb_properties_t prop;
-        if (bcm2835_fb_init(&prop)) {
+
+        if (!bcm2835_mbox_get_fb_size(&width, &height)) {
+                printf("mbox: could not get the framebuffer size\n");
+                width = 640;
+                height = 480;
+        }
+        if (bcm2835_fb_init(&prop, width, height)) {
                 outdev_t *fb_dev = fb_init(&prop);
                 if (fb_dev)