Portail informatique 2019-2020

Systèmes d'exploitation

Logiciels utiles

Les notions vues dans ce module sont génériques et devraient fonctionner sur n'importe quel système Unix (Linux, Mac OS, BSD, ...) Vous pouvez donc utiliser votre machine personnelle pour les TPs. Dans ce cas, vous devrez toutefois installer certains logiciels. Voici la liste des logiciels, ainsi que le nom du paquet Debian/Ubuntu correspondant. Si vous utilisez une autre distribution, le nom du paquet devrait être proche:

Vous pouvez installer l'ensemble de ces paquets en une fois en lançant la commande:

sudo apt-get install gcc make gdb valgrind binutils libc-dev-bin qemu