Initialize the mailbox on boot

This fixes a bug when running on HW.

1 files changed, 6 insertions, 0 deletions

diff --git a/pk/minit.c b/pk/minit.c
index b22fd53..79d1f9a 100644
--- a/pk/minit.c
+++ b/pk/minit.c
@@ -66,8 +66,14 @@ static void fp_init()
 #endif
 }
 
+static void mailbox_init()
+{
+  memset(MAILBOX(), 0, MAILBOX_SIZE);
+}
+
 void machine_init()
 {
+  mailbox_init();
   file_init();
 
   struct mainvars arg_buffer;