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.
Setup
New Users: Install the IDE if you're completely new.