Unofficial list of 3rd party boards support urls
Arduino IDE 1.x. Contribute to arduino/Arduino development by creating an account on GitHub.