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 plugin1) et déclarer le chemin d'accès du plugin dans SDK2).
$ cd ~/ //repetoire_de_votre_choix// $ git clone https://github.com/Xilinx/device-tree-xlnx.git
Dans SDK,