Hi Rob
This has in fact been reported by one of your students: https://community.freescale.com/message/481810#481810
Don't forget to check out the uTasker project for the FRDM-K64F (see links below) since it is completely free for eduational use and allows the board and processor to be simulated in (approx.) real time including live Ethernet, UARTs etc. and even USB via scripts using Visual Studio (free express edition). It simulates interrupts, DMA, all supported peripherals, etc. and allows easy study and learning (even without HW).
It builds with KDS but is also compatible with CW, IAR, Keil, Rowley, CooCox, Green Hills, Atollic or a GCC make file.
nRF24L01+ support is included and it also allows a FRDM-K64F board to be used as nRF24L01+ extension to VisualStudio so that the driver and application code can be run and debugged on the PC with an Ethernet bridge to the device. The transceiver is presently being integrated with an IP frame fragmenter to allow nodes to participate in an IP network (not yet released).
The board can also be connected to a Microchip ENC424J600 (10/100MHz Ethernet) via SPI to allow dual-homed networking with the device, which is integrated into the TCP/IP stack.
Free fast-track support for students and other non-commerial users is available in this forum.
Regards
Mark
Kinetis: µTasker Kinetis support
K64: µTasker Kinetis FRDM-K64F support / µTasker Kinetis TWR-K64F120M support
For the complete "out-of-the-box" Kinetis experience and faster time to market