1

Installation de l’image VirtualBox pour le cours zynq Vivado 2017.4

Table des matières

1. Installation de FileZilla ....................................................................................................... 2

2. Téléchargement des fichiers ............................................................................................... 5

3. Installation de VirtualBox ................................................................................................... 8

4. Création de l’image virtuelle............................................................................................. 11

5. Utilisation de l’image virtuelle ......................................................................................... 18

6. Montage du dossier partagé entre le système hôte et le système invité ............................ 22

2

1. Installation de FileZilla

Première étape, téléchargez FileZilla sur filezilla-project.org :

Faites attention, il s’agit du client 64 bits.

3

Le téléchargement démarre. Quand il est terminé, cliquez sur « Ouvrir » :

Suivez la procédure d’installation avec les options par défaut. Si vous ne voulez pas installer

les logiciels suivants, décochez les cases :

4

A la fin de l’installation, la fenêtre suivante doit s’ouvrir. Cliquez sur « Finish », FileZilla

s’ouvre.

5

2. Téléchargement des fichiers

Créez un répertoire zynq sur le bureau Windows de votre ordinateur. Avec FileZilla, nous

allons nous connecter au serveur FTP du département EASY :

Nom : easyftp.cnam.fr

Protocole : SFTP

Identifiant : easyeleves

Mot de passe : quung3En

Cliquez sur le menu « Fichier », « Gestionnaire de Sites… » :

Dans le gestionnaire de sites, cliquez sur « Nouveau Site », appelez-le easy par exemple, puis

renseignez les paramètres comme dans la fenêtre suivante :

2

1

3

4

5

6

7

6

Cliquez sur « Connexion » puis sur OK.

La fenêtre suivante s’ouvre. Cochez la case, puis cliquez sur « OK » :

Si vous ne vous êtes pas trompé dans les paramètres, vous devez être connecté sur le serveur.

Le site easy est enregistré dans FileZilla et vous pouvez vous reconnecter simplement en

cliquant sur :

7

Sur le site Local (votre PC, partie gauche de FileZilla), placez-vous dans le répertoire zynq

sur votre bureau (dans cet exemple, l’utilisateur s’appelle fpga, le vôtre est surement

différent). Sur le site distant (serveur FTP, partie droite de FileZilla), double-cliquez sur

l’icône du répertoire easy, puis du répertoire ens, puis du répertoire

zynq_ubuntu_16.04_64bits_vivado2017.4. Vous devez obtenir ceci avant de

passer à la suite :

Sélectionnez les 3 fichiers du site distant et tirez-les dans la fenêtre de gauche pour les

télécharger :

Après un long moment (le fichier ubuntu_16.04.2_LTS.vdi est très gros, environ 54

Go, cela peut donc prendre plusieurs heures), vous devez obtenir la fenêtre suivante. FAITES

ATTENTION : assurez-vous que la taille des fichiers obtenus dans la fenêtre de gauche

est identique à la taille des fichiers sur le serveur FTP et que les transferts ont tous

réussi. Si les tailles sont mauvaises, le lancement de l’image virtuelle échouera.

distant

local

8

3. Installation de VirtualBox

Vous pouvez maintenant fermer FileZilla. Passons à l’installation de VirtualBox. Ouvrez le

répertoire zynq sur le bureau :

Puis double-cliquez sur le fichier VirtualBox-6.0.12-133076-Win. Gardez les

options par défaut pendant l’installation (Suivant, Suivant, Suivant, Oui puis Installer) puis

autorisez Windows à installer ce qui est nécessaire (Oui, puis Installer, …). Finalement, vous

devez obtenir la fenêtre suivante.

9

Cliquez sur « Terminer » pour lancer VirtualBox :

Il faut maintenant installer les extensions. Fermez VirtualBox et double-cliquez sur le fichier

Oracle_VM_VirtualBox_Extension_Pack-6.0.12 :

10

VirtualBox s’ouvre à nouveau et la fenêtre suivante apparait. Tirez sur l’ascenseur jusqu’en

bas pour pouvoir cliquer sur le bouton « J’accepte » (il reste inactif sinon) :

Autorisez le programme à s’installer, vous devez finalement obtenir :

11

4. Création de l’image virtuelle

Cliquez sur le bouton « OK ». VirtualBox étant maintenant complètement installé, nous

pouvons créer l’image virtuelle. Cliquez sur le bouton « Nouvelle » :

Tapez zynq_ubuntu comme nom, type Linux, version Ubuntu 64 bits. Vous devez obtenir

la fenêtre suivante avant de cliquer sur « Suivant » :

Dans la fenêtre suivante, allouez 2048 Mo de mémoire avant de cliquer sur « Suivant ».

Idéalement, c’est la quantité de mémoire nécessaire pour les outils Xilinx. S’il y a un message

d’erreur au lancement de la machine virtuelle, vous pouvez réduire à 1500 Mo voire 1024 Mo.

En dessous, cela risque de ralentir sérieusement la machine (pour le projet notamment).

12

Dans la fenêtre suivante, nous allons sélectionner le fichier

« ubuntu_16.04.2_LTS.vdi » que nous avons téléchargé sur le serveur FTP :

Dans la fenêtre qui s’ouvre, cliquez sur « Ajouter » :

1

2

13

Allez dans le répertoire zynq sur le bureau, sélectionnez l’image puis cliquez sur « Ouvrir » :

Dans la fenêtre suivante, sélectionnez l’image puis cliquez sur « Choisir » :

14

Vous devez obtenir la fenêtre suivante avant de cliquer sur « Créer » :

Vous devez normalement obtenir la fenêtre suivante :

15

Cliquez ensuite sur le bouton « Configuration » et changez la MAC adresse : 08002791888D

pour que la licence Vivado fonctionne :

Pour finir, nous allons partager un dossier entre Windows et Ubuntu. Le système

d’exploitation de votre ordinateur, Windows le plus souvent (ou bien Linux ou encore Mac

OS X) est appelé le système hôte car il accueille un système invité, notre image VirtualBox

« zynq_ubuntu ». Pour partager des fichiers entre le système hôte et le système invité, nous

allons créer un dossier partagé. Cliquez à nouveau sur le bouton « Configuration » :

16

Il faut indiquer le dossier Windows à partager. L’important est de créer un dossier facilement

accessible placé à un endroit où vous avez le droit d’écrire. On va prendre le dossier zynq sur

le bureau. Dans la fenêtre qui s’est ouverte précédemment, cliquez sur :

Cliquez sur « Autre… » :

Dans la fenêtre qui s’ouvre, sélectionnez le dossier zynq puis cliquez sur « Sélectionner un

dossier » :

17

Finalement, vous devez obtenir la fenêtre suivante avec le chemin de votre dossier à la place

du mien. Mais conservez le nom « zynq » comme nom de dossier pour le montage, nous

l’utiliserons sous Linux. Cochez la case « Montage automatique » pour que le dossier soit

monté automatiquement au démarrage de l’image VirtualBox puis cliquez sur OK :

La fenêtre suivante résume les actions effectuées. Si tout est correct, cliquez sur OK.

18

Vous devez voir dans le gestionnaire de machine 1 dossier partagé :

Vous pouvez aussi activer le couper-coller et le glisser-déposer entre hôte et invité :

Et allouer plusieurs processeurs à la machine virtuelle :

5. Utilisation de l’image virtuelle

Voilà, c’est prêt. Fermez les programmes en cours d’exécution sur votre PC afin

d’économiser la mémoire. Si vous avez un PC relativement récent avec suffisamment de

mémoire (4 Go, c’est bien), il suffit de sélectionner l’image zynq_ubuntu puis de cliquer sur

le bouton « Démarrer » pour lancer le PC virtuel :

19

Dans la fenêtre de la machine virtuelle, vous allez obtenir une ouverture de session Ubuntu.

Le mot de passe du compte fpga est « fpga » :

Comme pour tous les PC, la machine virtuelle doit être éteinte gentiment sous peine de perdre

des données. Pour arrêter la machine virtuelle, il faut cliquer sur le bouton en haut à droite :

20

Puis cliquer sur « ShutDown » :

Puis à nouveau sur « ShutDown » :

21

Vous pouvez changer la résolution de l’écran en cliquant sur « System Settings… » :

Puis sur « Displays » :

22

Vous pouvez alors régler la résolution en fonction de votre ordinateur :

6. Montage du dossier partagé entre le système hôte et le système

invité

Le dossier zynq du bureau est partagé dans VirtualBox et le partage doit être monté sous

Ubuntu en ajoutant la commande :

sudo mount -t vboxsf -o uid=`id -u` -o gid=`id -g` zynq /mnt/partage

à la fin du fichier .bashrc. C’est déjà fait pour cette image avec en plus des commandes

d’initialisation pour les outils Xilinx.

Attention, il faudra ouvrir une fois le Terminal au début d’une session pour lancer le .bashrc

qui fera le montage et les initialisations et taper le mot de passe fpga :

23

Une fois monté, pour l’utiliser facilement, il peut être utile de créer un signet. Lancez le

gestionnaire de fichiers en cliquant sur :

24

Cliquez ensuite sur « Computer » :

Puis double cliquez sur le dossier « mnt » :

Puis « partage » :

25

Vous devez finalement voir les fichiers que vous avez copiés précédemment dans le dossier

zynq sous Windows :

Cliquez ensuite sur le menu « Bookmarks » :

26

Cliquez sur « Bookmark this location ». Si le menu est grisé, c’est parce que le signet existe

déjà.

Le signet apparait dans la liste des répertoires.

De cette manière, vous pouvez travailler chez vous avec l’image zynq sous VirtualBox, puis

ramener vos fichiers sur une clef USB pour les essayer avec une maquette dans la salle de TP.

Vous pourrez aussi vous en servir pour créer un système Petalinux et copier les fichiers de

boot BOOT.BIN et image.ub sur la SDcard en passant par Windows.