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

Windows release 1.0 available

Kazuro Thursday February 5, 2015

Today, version 1.0 of System Workbench for STM32 is online and supports all STM32 family evaluation boards.

As part of a partnership between STMicroelectronics and Ac6, embedded technology expert, we will continue to develop tools to simplify embedded application development. We will continue to carefully look at all comments and inquiries on the forums.

In 2014 Ac6 has trained over 800 people all over the world and we will continue to enhance our training programs.

With our best wishes for success in your projects with “Ac6 System Workbench for STM32”