I have been poking around in the new Arduino 1.5 IDE that supports the Arduino DUE. It is based on the Atmel SAM3X8E system on a chip, which in turn uses an ARM Cortex M3 CPU.
Interestingly, the Arduino 1.5 IDE uses the Leaf Labs CodeSourcery toolchain, complete with Leaf Labs README files. If you download the IDE, you can see them here (on a Mac):
/Applications/Arduino.app/Contents/Resources/Java/hardware/tools/g++_arm_none_eabi
For instance, the README is here:
/Applications/Arduino.app/Contents/Resources/Java/hardware/tools/g++_arm_none_eabi/README
and it says in part:
This package contains the GNU compiler toolchain targeting the ARM EABI
platform used by the Maple IDE distributed by LeafLabs (http://leaflabs.com).
So Arduino is now supporting multiple CPU/chip architectures (avr and sam), and is using Leaf Labs tools to do so.
I thought it' was interesting because it suggests that maybe (?) the STM32 code could be merged back in. It would be another architecture, but since the hooks are there now, it might not be too hard. I'm not sure if Arduino would be interested in this, but it's an interesting thought.