For a work project I am using an embedded artists 11u35. These notes are reminder of how to download code to it when on mac or linux…

Note below taken from this link on mbed forums by Neil Thiessen

a)remember to start the boat up by keeping left button pressed while pressing reset. (assuming usb is top)
b)will appear as device called CRP_DISABLED

Then…
For Mac or Linux:

delete firmware.bin
unmount device (sudo on MAC)
using Linux umount /dev/sd* (where * is the location of your device)
using Mac OS umount /volumes/CRP DISABLD

copy the file to the disk
Using Linux dd if=mbed_if.bin of=/dev/sd* seek=4
Using Mac dd if=mbed_if.bin of=/dev/disk* seek=4