As I got myself bootstrapped, I ran across some "friction" in getting started. Note: I am experienced with embedded micro design, but not mbed and not this board.

1) The windows drivers claim to install incorrectly the first time (win7 64 bit) but then hot plugging the Wifi DipCortex seems to "fix" the issue.

2) There seems to be only one "boot" switch near the USB connector. Some documents I saw seemed to claim two switches

3) Yes, there is at least one LED on board, this code compiled on mbed.org worked fine: http://developer.mbed.org/users/SolderSplashLabs/notebook/dipcortex---toggle-an-led/

3.5) I had to add the master mbed library to the project. Sounds like one _always_ adds that library to your project, although I see another one labeled mbed-rtos. More input needed.

4) Three other tips on getting started: http://forum.soldersplash.co.uk/viewtopic.php?f=15&t=57#p182

5) I couldn't get the DipCortex to attach to the office network, so I turned on my Android phone wifi hotspot and connected to that one. I suspect the TI CC3000 needs a longer antenna to connect to a more distant wifi network. I used the connect feature from this binary app installed on the DipCortex: http://forum.soldersplash.co.uk/viewtopic.php?f=15&t=97

6) One copy of the USB Kitchen sink online in mbed.org (that I imported) does not seem to work as a USB serial port. This FAQ seems to imply that the USB Serial feature is not yet ported to the online MBED tools: http://forum.soldersplash.co.uk/viewtopic.php?f=15&t=55