My initial research lead me to texane’s github where he created a linux version of ST-LINK. It doesn’t support the STM32F4 yet, but there is a fork which is making good progress. I couldn’t get either to work, which is when I turned to OpenOCD and Bus Blaster. A few minor modifications to the STM32F2 scripts and success. First time using the Bus Blaster and couldn’t be happier.
The STM32F4 uses a 32bit ARM Cortex M4.
Via the forum.