Go to the Arduino IDE menu.
File > Preferences.
Add the following line to "Additional Boards Manager URLs:"
Click "OK" to save changes. Now open up the Arduino Board Manager
Tools > Board > Boards Manager
Install the following board packages:
Ubuntu users may need to add themeselves to the dialout group. See the README.md page