Software
From Formica
The current firmware release is version 1.2. Download it here. Old tarballs are still available.
Build Procedure
To build the Formica firmware, you will need to have mspgcc installed on your system. For more information on this, see the mspgcc build instructions on the mspgcc wiki. You can get RPMs for Fedora here.
Untar the firmware, or clone the development tree and change directory into the resulting directory. Then run make:
make
This will produce two binaries: main-top and main-bottom. You can load either of these into your robot and it'll still work.
The list of common build problems may help you.
Development Version
The main Formica tree is now in git. You can clone it like this:
git clone git://gitorious.org/formica/firmware.git
The releases are tagged in this git repository with a 'v' before the version number -- for example "v1", or "v1.1".
Old releases
Version 1.0 is the same as the "r468" release made here.

