May not be a non starter after all Eduardo, I have it working now, but for the moment this is not really for MBED until confirmed as good to go so click on your link above for further details.
Edit...
I have loaded several programs including a large 100k code, checked some embedded peripherals and is working as it should.
Still not sure if there are any issues with NVIC's and bootloader code clashes, but you can try it for now.
Don't forget the clock setup to mode-0 in the MBED-SRC lib line 47 (see below):
https://developer.mbed.org/users/mbed_official/code/mbed-src/file/f79a1bf6b233/targets/cmsis/TARGET_Freescale/TARGET_K20D50M/system_MK20D5.c
The button will not reset the device, you will need to power cycle to run your code.
To recap usage:
Save your K20D50M program from Mbed (BIN file)
Open in Hexplorer
Export as an Intel Hex file (ending .hex)
Run teensy.exe program
Open the .hex file
Connect Teensy and press the button
Program
Power cycle the Teensy and it should run.
Hi there guys!
I just received a Teensy 3.1 board and it is brilliant, but I'd like to use my Mbed stuff with it... I'm not sure if there is a policy about making announcements before a shipping product, but I'd like to suggest support for this great little dev board in the mbed environment! :)
Cheers