Avant l'installation de Petalinux, il faut que le système utilise automatiquement l'interpréteur de commandes bash. Par défaut dans cette version de la distribution LMDE, c'est l'interpreteur de commandes dash qui est utilisé. Pour le vérifier :

$ ls -l /bin/sh

lrwxrwxrwx 1 root root 4 nov.   6 13:48 /bin/sh -> dash

Si tel est le cas, il va faloir changer l'interpréteur par défaut pour mettre bash.
Supprimer le lien symbolique :

$ cd /bin
$ sudo rm sh

Puis créer le nouveau lien

$ sudo ln -s bash sh
$ ls -l sh

lrwxrwxrwx 1 root root 4 nov.   6 13:48 /bin/sh -> bash

Pour installer le paquet téléchargé depuis le site, il est d'abord nécessaire de rendre le fichier .run executable.

$ cd /chemin_de_repetoire_de_telechargement/
$ chmod +x petalinux-v2015.2.1-final-installer.run

Afin de rendre possible l'accès possible à tout moment au chemin où Petalinux est installé, il est utile de créer une ligne de raccourci dans le fichier ~/.profile qui est exécuté à chaque fois que l'utilisateur ouvre sa session. Il faut éditer ce fichier, par exemple avec nano, rajouter la ligne suivante à la fin, puis le sauver et enfin quitter l'éditeur :

export PETALINUX=/chemin_de_repertoire_d_installation_de_petalilux

Pour utiliser les outils Petalinux, il est nécessaire de “sourcer” différents paramètres à la fois de Vivado et de Petalinux. Avant toutes chose, donc, exécuter :

$ source /chemin_de_repertoire_d_installation_de_vivado/SDK/2015.2/settings64.sh
$ source $PETALINUX/settings.sh