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

You are viewing a reply to Simple GPIO problem  

Re: Simple GPIO problem

Hello, the fact that PA13 and PA14 are pulsing is not a part of your program, these PINs are used by the debuger to talk with your PC, so don’t worry about it.
And be careful if you have to assign these pins to another use, you may not be able to program your card anymore (that’s no big deal, you’ll just have to use ST-Link utility to reset your card and you’ll be on the road again)