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

STM32H7 Series - Can semaphore in FreeRTOS be used in USB interrupt handler?

I’m using USB mass storage to receive and store the data to external SPI flash ROM. I hope the SPI interface can be using semaphore method, but when I used osSemaphoreWait function in STORAGE_Write_FS function it might cause the device to timeout when the PC starts to receive the data. I’m certain that without semaphore method SPI can be worked for storage data through STORAGE_Write_FS function receive. Suggest using semaphore in interrupt handler?