This is an old revision of the document!
Platformio
PlatformIO is an open source platform for building embedded devices. It includes an IDE as well as a command line tool.
During Fall 2016, we switched the firmware to use platformio as our main build system.