Firmware for the Piksi GNSS receiver.