Freescale Semiconductor Data Sheet: Product Previe.
MK51X256CLL100 - Up to 100 MHz ARM Cortex-M4 core