I may have a solution to some problems people are having.
This will probably only apply if you were connecting to the internet via WiFi and having your FRDM-K64F board plugged into the Ethernet port on your computer/laptop.
You'll need to right click the WiFi icon on your toolbar (at the bottom right) and click 'Open Network and Sharing Center...' then on the left click 'Change adapter settings'. From here, you should be able to see your WiFi connection and the Local Area connection that is your K64F. Highlight both of these, right click and choose 'Bridge Connections'.
After doing this I am able to run both the TCPSocket_HelloWorld and UDPSocket_HelloWorld perfectly.
I didn't replace mbed with mbed-src, but I did make sure my K64F had the latest mbed firmware (0203) and made sure my EthernetInterface library was updated.
Hope this helps someone!
@Stefano, yes, please do, with as many details as you can. Preferably on github, at the moment .
Regards,
0xc0170