Desde la versión 1.6.2 del IDE de Arduino , todas las placas oficiales basada en microcontroladores AVR como Arduino UNO, Arduino Leonardo, Arduino Nano etc vienen instaladas por defecto, por lo tanto no será necesario instalarlas y podremos utilizarlas sin hacer nada más. Otras placas oficiales como por ejemplo los Arduino de la serie MKR basadas en microcontroladores SAMD no vienen instaladas y será necesario instalar el core antes de poder utilizarlas.

La forma correcta y preferida para instalar nuevas placas es el gestor de tarjetas, que puedes encontrar en el menú superior en Herramientas / Placa / Gestor de Tarjetas

Cuando accedes al gestor de tarjetas, es posible que tarde unos segundos en cargar los índices de los cores disponibles. Eso dependerá de la velocidad de tu conexión a Internet ya que conectará con servidores externos. Por defecto mostrará todos lo cores de Arduino disponibles y con el buscador podrás realizar búsquedas para encontrar nuevas placas para instalar.

Para encontrar una definición de placa específica, busca por la familia de microcontroladores o usa una palabra clave como avr o samd, y debería aparecer el núcleo Arduino correspondiente. Verás que podrás instalarlo directamente con un click pinchando en "Instalar". También indicará todas las versiones disponibles mostrando por defecto la más reciente. 

En caso de tener un core ya instalado, podrás actualizarlo si no tienes la última versión. También se proporcionan algunos enlaces por si quieres visitar la web oficial para más información.

En éste caso se puede ver que ya tengo instalado el core para las placas basadas en el microcontrolador SAMD. Por lo tanto, puedo actualizarlo pulsando el botón. El proceso es automático y tras unos segundos quedará actualizado a la última versión.

Actualizar el Core de Arduino

En algunas ocasiones, puede que las definiciones de los cores estándar que tengas instalados por defecto no esté actualizado. No es algo que se haga a menudo, pero de vez en cuando siempre está bien actualizarlos para poder tener las últimas mejoras implementadas en Arduino. Puedes buscar directamente por avr y el paquete Arduino AVR Boards by Arduino debe aparecer. Al igual que con las otras placas, si no tienes la última versión, podrás actualizarlo con un simple click. Asegúrate siempre que el autor sea Arduino, de esta forma tendrás la certeza que es un paquete oficial y no de un tercero (que también los hay).