Operating systems

Portail informatique

Useful software

The concepts seen in this module are generic and should run on any Unix system (Linux, Mac OS, BSD, ...) You can therefore use your personal machine for the TPs. In this case, however, you will need to install some software. Here is the list of software, as well as the name of the corresponding Debian / Ubuntu package. If you use another distribution, the package name should be close:

  • gcc (sudo apt-get install gcc)
  • make (sudo apt-get install make)
  • gdb (sudo apt-get install gdb)
  • valgrind (sudo apt-get install valgrind)
  • ar, nm, objdump, readelf (sudo apt-get install binutils)
  • libc (sudo apt-get install libc-dev-bin)
  • qemu (sudo apt-get install qemu qemu-system-x86)

You can install all of these packages at once by running the command:

sudo apt-get install gcc make gdb valgrind binutils libc-dev-bin qemu qemu-system-x86 pkg-config libhwloc-dev linux-perf

On Ubuntu, the package linux-perf is named linux-tools-common.