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

GPIO_IOToggle example program in STM32F072B-DISCOVERY

Ubuntu 18.04
System Workbench for STM32 v2.4
STM32F072B-DISCOVERY board, firmware just updated

Goal: Run the GPIO_IOToggle example from
in an STM32F072B-DISCOVERY board.

After successful compile and download to board, debug leads to a timeout error in the file stm32f0xx_hal_rcc.c in the code shown here.

/* Get Start Tick */
tickstart = HAL_GetTick();

/* Wait till HSE is ready */
if(( HAL_GetTick() - tickstart ) > HSE_TIMEOUT_VALUE)

Thanks for any help.

Hello I’m having the exact same problem. Did you find a solution and do you mind sharing?