TDDE47 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 an Linux, it should be quite straightforward, you only need to ensure that you have developer tools (gcc etc) and qemu. If you have an Ubuntu-based distribution you can jump directly to step 4 below. If you are running Windows, MacOSX or some other Linux distribution where you are not able to get Pintos running, you can follow the steps below.
- Download a hypervisor such as Virtualbox to your machine.
- Get a Linux distribution. I recommend using LUbuntu as it is a bit more lightweight than a regular Ubuntu, but still user-friendly enough.
- Install and configure your virtual machine. There are more detailed instructiona here.
- Open a terminal and install the basic build tools required:
sudo apt install build-essential
- Install Qemu:
sudo apt install qemu qemu-system-x86
- Install your editor of choice:
sudo apt install emacs
- Clone your own lab repository
- Get the new changes from the lab repository:
git fetch https://gitlab.liu.se/tddb68/pintos
git merge --ff-only FETCH_HEAD
- Create the qemu symlink according to instructions in Lab0
- Set the PATH variable according to instructions in Lab0
makein the utils directory
- set executable bits according to instructions in Lab0
makein the userprog directory
Page responsible: Mikael Asplund
Last updated: 2020-08-21