Hexed

So, I went through the trouble of downloading and installing Cygwin so that I could build the HEX files for the microcontroller firmware, only to realize later that all I needed to do was download them from SourceForge.