Hi Stephen brsay,
If you still need to use the MBED, please download my attached file to your board in the win7 system, and follow these steps:
TAKE frdm-k64 as an example.
1. Power off the board, press the reset button on the board, and hold on it, then plug your board to your PC, you will find you board is a device named as "BOOTLOADER".
release the reset button.
2. Send attached file"k20dx128_k64f_if_mbed.bin" to your "BOOTLOADER", and wait it is finished.
3. power off and power on the board again, you will find your board is a device named as "MBED".

Have a great day,
Kerry
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------