This repo contains the custom package_*_index.json files that can be used to add new third party boards to the Arduino v1.6.4+ IDE.
A serial port JSON websocket & web server that runs from the command line on Windows, Mac, Linux, Raspberry Pi, or Beagle Bone ...