I'm using the gcc toolset, and had hoped to be able use this functionality, however all of the documentation seems to state superseded or suspended.

ARM Information Center

I'm trying to target an STM32F4 processor.

Any pointers to how to do this…