Initialize the message pool in pdb_init()

lib/src/pdb.c

@@ -23,10 +23,14 @@
 #include "hard_reset.h"
 #include "int_n.h"
 #include "fusb302b.h"
+#include "messages.h"
 
 
 void pdb_init(struct pdb_config *cfg)
 {
+    /* Initialize the empty message pool */
+    pdb_msg_pool_init(/*TODO cfg*/);
+
     /* Initialize the FUSB302B */
     fusb_setup(&cfg->fusb);
 

src/main.c

@@ -43,7 +43,6 @@
 #include <pdb.h>
 #include "led.h"
 #include "device_policy_manager.h"
-#include "messages.h"
 
 /*
  * I2C configuration object.
@@ -139,9 +138,6 @@ int main(void) {
     halInit();
     chSysInit();
 
-    /* Set up the free messages mailbox */
-    pdb_msg_pool_init();
-
     /* Create the LED thread. */
     pdbs_led_run();