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 (219 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 i386 (attention cette archive doit être décompressée dans le dossier /opt). Attention, les binaires contenus dans l'archive sont des binaires 32 bits : il est nécessaire d'installer une libc 32 bits (libc6-i386 ou autre) pour que l'installation soit fonctionnelle dans un système 64 bits.
    • 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  
  • devoir 0 : Premiers pas /
  • devoir 1 : Entrées-sorties synchrones /
  • devoir 2 : Threads utilisateur /
  • devoir 3 : Mémoire virtuelle et processus /

Informations utiles.  
Procédure de remise des TP : voir ici.
Description du rapport "type" demandé : voir ici.


Last modification : 2017-11-17 08:57:48 Abdou.Guermouche@labri.fr View source.