[Feature Request] SMP Support: GCC ARM_CM4F

[SJ-Innovation]

Is your feature request related to a problem? Please describe.
GCC/ARM_CM4F is a widely used port for STM32 and similar microcontrollers, as ST and other manufacturers are releasing dual core variants of their popular chips it would make sense for this widely used port (and those similar to it, CM33 etc) to get priority during the implementation of their multi-core ports. This is so as to implement for a large audiance, in one fell swoop.

Describe the solution you'd like
Take the lessons learned from the implemention of the RPi2040 SMP port, and create an SMP port suitable for the GCC/ARM_* ports as well.

Describe alternatives you've considered
Am currently experimenting with SMP port for RPi2040, liking what I see so far :)

Additional context
Recognise this is a long term project, and no small undertaking, just creating this issue as documention of my request.

[aggarg]

Thank for your request. These are very helpful to us during prioritization of our work.