Finish framebuffer initializationHEADmain

1 files changed, 4 insertions, 1 deletions

diff --git a/src/kernel.c b/src/kernel.c
index ac803cc..151028d 100644
--- a/src/kernel.c
+++ b/src/kernel.c
@@ -19,11 +19,14 @@ void main() {
   
   mbox_init();
   uart_init(raspi);
+  uart_print("Initializing framebuffer\n");
   success = framebuffer_init(&error);
   if (!success) {
-    uart_print("Failed to initialize framebuffer\n");
+    uart_print("Failed to initialize framebuffer:\n");
     if (error == MAILBOX_DELIVERY_ERROR) {
       uart_print("MAILBOX_DELIVERY_ERROR\n");
+    } else if (error == MAILBOX_ERROR) {
+      uart_print("MAILBOX_ERROR\n");
     }
     goto end;
   }