Freescale Semiconductor Data Sheet: Technical Data.
MK40DX256ZVMD10 - K40 Sub-Family
MK40DX256ZVMD10 - Microcontroller