Reverse Engineering LPC's Device Firmware Upgrade Protocol
blog.technical.io
blog.technical.io
On the other hand, I thought tessel was an open source project? Why not just hack together your own DFU loader? It basically just needs to read data over USB from the PC, and write it to nonvolatile/flash.