For sale is a fully functional FRDM-k64F development board in original box. I used it for awhile, but I don't have much use for it anymore. I did solder a nRF24l01 radio module onto it, but other than that, it's as you would order it new. Retails for $35, so you're saving ~$10.

Some basic specs:

• ARM Cortex-M4 + FPU + DSP
• 120MHz clock speed
• 1024kB flash
• 256kB RAM
• 16ch DMA
• 2x 12b DACs
• 2x 16b ADCs (up to 800kS/s)
• 3x analog comparators
• Voltage reference
• 3x SPI modules
• 3x I2C modules
• 6x UART modules
• CAN module

• I2S module

• Ethernet

• USB device/host
• microSD slot
• FXOS8700 accelerometer + magnetometer
• RGB LED
• 2 buttons