Using mbed with gcc and eclipse
mbed officially supports two offline IDEs based on Eclipse and GCC:
Additionally, you can also use the latest ARM developed GCC toolchain:
A full list of the officially supported offline toolchains is here: Offline toolchains.
You can find an up to date guide about using Eclipse and GCC for mbed development here: Eclipse for Building and Debugging.