Le système Device Tree est actuellement à la base de la gestion du matériel sous Linux. La génération d'un fichier de description du matériel (fichier .dts = device tree source) est nécessaire lorsque l'on veut implémenter des pilotes spécifiques.
Il va falloir télécharger une copie du dépôt du plugin¹⁾ et déclarer le chemin d'accès du plugin dans SDK²⁾.

$ cd ~/ //repetoire_de_votre_choix//
$ git clone https://github.com/Xilinx/device-tree-xlnx.git

Dans SDK,

• Menu: Xilinx Tools > Repositories > New… (<repetoire_de_votre_choix où le plugin a été téléchargé>) > OK