Informations générales.  
La page de Nachos (attention : il y a des différences entre le code que nous utilisons et la version "officielle" de Nachos).
La distribution que nous utilisons : distrib-nachos-svn.tar.gz (223 kb) .

Documentation.  

Installer xgcc chez soi sous linux-x86  
  • En installant une version de xgcc :
    • Soit en récupérant une version déjà compilée pour une architecture amd64 (attention cette archive doit être décompressée dans le dossier /opt).
    • Ou, pour les "warriors", en le compilant : les instructions sont données ici (attention la compilation est beaucoup plus compliquée avec les versions récentes de gcc).
  • Ne pas oublier de mettre à jour dans l'arborescence nachos le fichier test/Makefile pour qu'il utilise le xgcc installé lors de l'étape précédente.

Sujets des TPs  
Les feuilles de TPs sont accessibles ici.

Informations utiles.  
Description du rapport "type" demandé : voir ici.


Last modification : 2021-09-03 06:51:03 Abdou.Guermouche@labri.fr View source.