Went to mbed.org 10 minutes ago. Re-configured my FRDM-KL25Z with the mbed loader and compiled and loaded my first demo application in less than 3 minutes. This is going to be fun!
New $12.95 mbed-enabled Freescale board! | mbed
Instructions here: mbed FRDM KL25Z Getting Started - Handbook | mbed
Very cool!