SW4STM32 and SW4Linux fully supports the STM32MP1 asymmetric multicore Cortex/A7+M4 MPUs

   With System Workbench for Linux, Embedded Linux on the STM32MP1 family of MPUs from ST was never as simple to build and maintain, even for newcomers in the Linux world. And, if you install System Workbench for Linux in System Workbench for STM32 you can seamlessly develop and debug asymmetric applications running partly on Linux, partly on the Cortex-M4.
You can get more information from the ac6-tools website and download (registration required) various documents highlighting:

System Workbench for STM32

Type Emot Title Replies Reads Last Post Author
Normal   System Workbench and CubeMX
4 15983
2015-02-24 15:36
Re: System Workbench and CubeMX by bugmenot
Normal   RAM size for STM32F107xB
3 11444
2015-02-24 10:11
Re: RAM size for STM32F107xB by PPR38
Normal   uses VFP register arguments
2 21675
2015-02-15 06:55
Re: Re: uses VFP register arguments by Dennis Yeung
Normal   start up and mbed
1 17599
2015-02-13 23:01
Re: start up and mbed by Diego
Normal   Dump when trying to download the target firmware
2 14575
2015-02-10 08:06
Re: Dump when trying to download the target firmware by Sal
Normal   Workbench download & Antivirus
1 14443
2015-02-05 11:42
Re: Workbench download & Antivirus by dautrevaux
Normal   Enable FPU in System Workbench for STM32
4 27932
2015-02-02 23:42
Re: Enable FPU in System Workbench for STM32 by tarek.azhari