1 files changed, 4 insertions, 1 deletions

diff --git a/src/kernel.c b/src/kernel.c
index a9a2d11..4296aa7 100644
--- a/src/kernel.c
+++ b/src/kernel.c
@@ -1,3 +1,4 @@
+#include <mailbox.h>
 #include <mmio.h>
 #include <raspi.h>
 #include <uart.h>
@@ -10,7 +11,9 @@ static void halt() {
 
 void main() {
   const int raspi = raspi_init();
-  mmio_init(raspi);
+  mmio_init(raspi); // Must be initialized before other peripherals.
+  
+  mbox_init();
   uart_init(raspi);
   
   uart_print("Hello world!\n");