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 two short videos (registration required) highlighting:

System Workbench for STM32

How to make a Release configuration?


Hi Igor,

>> Hi tarek,
>> Core State: Halted
>> PC: 0x1FF002EC

This is abnormal !

>> All registers except R13 are zeroes.
yes R13(=Stack Pointer) value should be in RAM range (0x20xxxxxx)

>> If click on System or Core reset and read Core registers after that it stops somewhere else. But program does do, what it supposed to.
If PC is value is ~0x08xxxxxx this is quite normal

Let me resume, if after reset, you connect your stlink in hotplog mode:
then you press Core Reset if PC value is in Flash Range (0x08xxxxxx) then you press Run and PC value become outside flash (e. 0x1FF002EC). we can deduce that your program is running is standalone mode but there is fault in your program. (bus fault, hard fault, ...)

Just a final question, are you using semihosting in your application ??