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:
    • For labs on native development (probably Intel x86-64): sudo apt-get install gcc
    • For labs on xv6, the RISC-V cross-compilation toolchain: sudo apt-get install gcc-riscv64-linux-gnu
  • gdb:
    • For labs on native development (probably Intel x86-64): sudo apt-get install gdb
    • For labs on xv6, the RISC-V debugger: sudo apt-get install gdb-multiarch
  • ar, nm, objdump, readelf:
    • For labs on native development (probably Intel x86-64): sudo apt-get install binutils
    • For labs on xv6, the RISC-V debugger: sudo apt-get install binutils-riscv64-linux-gnu
  • make (sudo apt-get install make)
  • valgrind (sudo apt-get install valgrind)
  • libc (sudo apt-get install libc-dev-bin)
  • qemu for labs on xv6: sudo apt-get install qemu-system-misc
  • perf for lab 9: sudo apt-get install linux-perf

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

sudo apt-get install \ gcc gcc-riscv64-linux-gnu \ gdb gdb-multiarch \ binutils binutils-riscv64-linux-gnu \ libc-dev-bin make \ valgrind linux-perf \ qemu-system-misc

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