Dear board,I intend to let the Cortex M4 and Cortex A7 cores of the stm32mp151A via Openamp.On the Cortex M4 the firmware runs on FreeRTOS, and I am studying the example provided.I see the implementation suggests that the library provided is not RTOS...