TDDE68 Concurrent programming and Operating Systems

Install pintos on your own computer

It is possible to get Pintos running on your own computer. If you are already running a Linux distro, it should be quite straightforward, you only need to ensure that you have developer tools (gcc, gdb, make, perl, git) and qemu.

If you are running some derivate of Debian (like Ubuntu) you should be able to install the tools you need with the following command:
sudo apt install build-essential git qemu qemu-system-x86

If you are not running Linux already, the easiest solution is to install a virtual machine, the steps below cover the general steps needed.
If you are using Windows, you might get it to work with WSL, but that is something you will need to figure out and support yourself.

1. Install a hypervisor on your machine. Virtualbox is usually easy enough to use, but feel free to use any you want.
2. Get a Linux distribution. We recommend using LUbuntu as it is a bit more lightweight than a regular Ubuntu, but still user-friendly enough.
3. Install and configure your virtual machine. There are more detailed instructiona here.
4. Open a terminal and install the basic build tools required:
   sudo apt install build-essential git qemu qemu-system-x86
   
5. Install your editor of choice:
   sudo apt install emacs
6. Follow along as instructed in the introductory lab.

Page responsible: Klas Arvidsson
Last updated: 2026-01-19