How to manually acquire IDE Board Packages and Install?

[truss-dk]

Here are some instructions on how to manually install the cores on Arduino's webpage: How to install and use a custom core version in the IDE