FIXME: RPC: IRQ method crashes CM4 core

Author: facchinm

libraries/RPC/RPC.cpp

@@ -107,9 +107,9 @@ int RPC::begin() {
     return 0;
   }
 
-  //eventThread = new rtos::Thread(osPriorityNormal);
-  //eventThread->start(callback(&eventQueue, &events::EventQueue::dispatch_forever));
-  //ticker.attach(eventQueue.event(&OPENAMP_check_for_message), 0.01f);
+  eventThread = new rtos::Thread(osPriorityNormal);
+  eventThread->start(callback(&eventQueue, &events::EventQueue::dispatch_forever));
+  ticker.attach(eventQueue.event(&OPENAMP_check_for_message), 0.01f);
 
   dispatcherThread = new rtos::Thread(osPriorityNormal);
   dispatcherThread->start(mbed::callback(this, &RPC::dispatch));

libraries/openamp_arduino/src/mailbox_hsem_if.c

@@ -83,7 +83,9 @@ void HAL_HSEM_FreeCallback(uint32_t SemMask)
   HAL_HSEM_ActivateNotification(__HAL_HSEM_SEMID_TO_MASK(HSEM_ID_0));   
 #endif
 
+#ifdef CORE_CM7
   OPENAMP_check_for_message();
+#endif
 }
 
 /**