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:
You are correct that I do not have Generate under root checked. I am using version 4.16.0 of Cube MX which reports as the latest. I am usnig SW4STM32 built under the Mars.2 release. If I check Generate under root, the project that results does not reference the Hal_...cortex.c and .h files so I get the error “SysTick_IRQn could not be resolved”, and the HAL_SYSTICK_... calls as well as the HAL_NVIC_SetPriority call do not show up in the cyan color I am used to seeing. However, hovering over the call in main does show the definition. Bottom line is it compiles and creates the binary but not without error and the binary does not run.