9 years ago.

9 years, 12 months ago.

When you plug the mbed into your Linux machine, it should mount as a USB mass storage device (on my Ubuntu VM, it shows up as /media/MBED). The online compiler at this site should work from within your Firefox browser. After compiling with the online compiler, save or copy the generated binary file to /media/MBED/ (or whatever it mounted to as on your Linux machine.) Press reset and the binary should be running on your mbed device.

If you hit problems when trying to use Linux, come back and list the specific problems that you encounter. There will no doubt be someone around here that can help diagnose the problem.

Edit: You can check out https://developer.mbed.org/getting-started/ as well.

-Adam