Libraries, firmwares and headers used by OpenPLC (can be used to add OpenPLC support to Arduino IDE 1.5.x)