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

Pour échanger rapidement des fichiers entre l'ordianateur et la carte Zynq, comme par exemple les images binaires générées pour les systèmes d'exploitation et de fichiers, il est possible d'utiliser le réseau avec le protocole TFTP. Petalinux peut mettre directement les images générées dans le répertoire de partage TFTP. Il faudra alors un serveur TFTP sur la machine hote. Son installation peut se faire ainsi :
Création d'un répertoire de partage avec le reste du monde pour TFTP :

$ sudo mkdir /tftpboot
$ sudo chmod -R 777 /tftpboot
$ sudo chown -R nobody /tftpboot

Installation des paquets Tftpd, Tftp et xinetd (on peut le faire aussi par le gestionnaire de paquets)

$ sudo apt-get install tftpd tftp xinetd

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 que le raccourcis soit pris en compte systèmatiquement dans chaque nouvelle console, il est nécessaire de redémarrer la session.

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