Hey All, is there a way to manually install the UDOO board definitions in the Arduino IDE? For some reason the proxy I'm behind is allowing me to download the additional board definitions. I've tried adding the proxy info to Arduino IDE and I can download all the other board defs just fine, but my proxy doesn't seem to like UDOO. Turning off the proxy is not an option unfortunately. I can reach the github page fine, I'm just not sure what files should go where in my Arduino directories. Any help would be much appreciated.