Framebuffer WIPHEADmain

1 files changed, 13 insertions, 0 deletions

diff --git a/src/kernel.c b/src/kernel.c
index 4296aa7..ac803cc 100644
--- a/src/kernel.c
+++ b/src/kernel.c
@@ -1,3 +1,4 @@
+#include <framebuffer.h>
 #include <mailbox.h>
 #include <mmio.h>
 #include <raspi.h>
@@ -10,14 +11,26 @@ static void halt() {
 }
 
 void main() {
+  bool     success = true;
+  uint32_t error   = -1;
+  
   const int raspi = raspi_init();
   mmio_init(raspi); // Must be initialized before other peripherals.
   
   mbox_init();
   uart_init(raspi);
+  success = framebuffer_init(&error);
+  if (!success) {
+    uart_print("Failed to initialize framebuffer\n");
+    if (error == MAILBOX_DELIVERY_ERROR) {
+      uart_print("MAILBOX_DELIVERY_ERROR\n");
+    }
+    goto end;
+  }
   
   uart_print("Hello world!\n");
   
+end:
   halt();
 }