STM32H7: Support for Multiprocessing between Cortex M7 and Cortex M4

[Frank-Christian Kruegel]

Hello World;

I'm about to choose a Cortex M7 microcontroller for a new project. All 
major vendors (Atmel/Microchip SAME70/V71, STM32F7/H7, NXP IMXRT) seem 
to be supported.

In the list of supportex boards I see a STM32H747i Discovery. The 
STM32H747 has both a Cortex M7 core and a Cortex M4 core. Does NuttX 
support using both cores together? Can The M4 wait for a signal from the 
M7 and vice versa? Or will the M4 stay unused?

Thanks

Frank.