Compiling from source
It is possible to compile the software from source and make a binary image that runs on the mbed.

1. MBED online compiler (at http://mbed.org): You need an account on mbed.org and a Internet connection.
2. GCC4MBED offline compiler, using GCC. Download at (https://github.com/adamgreen/gcc4mbed)

You can use GCC4MBED on your platform, or use a linux virtual machine to compile the sources. See:
http://jeelabs.net/projects/tosca/wiki/ARM_toolchain_setup_GCC4ARM

Installation of gcc4mbed on linux:

wget https://github.com/adamgreen/gcc4mbed/zipball/master
mv master adamgreen-gcc4mbed.zip
unzip adamgreen-gcc4mbed.zip
mv adamgreen-gcc4mbed-* gcc4mbed
cd gcc4mbed
./linux_install

Check the Github gcc4mbed page when you run into problems.
Then download / clone the firmware

git clone https://github.com/LaosLaser/Firmware.git

Place laser folder in gcc4mbed folder
Run the following command in that folder

make

And copy the resulting bin file to your MBED or LPC.

The compiler (currently) creates two .bin files. (laos.bin and laos-lpc.bin) laos-LPC is (experimental) for the lpcexpresso (not mbed).