Getting started

To get started, you’ll have to log into a machine that PintOS can be built on. The CSC4103 “officially supported” PintOS development machines are those using the provided Docker images. We will test your code on similar environments, and the instructions given here assume this environment.

The instructions for Project 0 explain the options you have to install all prerequisites needed for CSC4103.

Once you have made some progress on your project, you can push your code to the autograder just by running git push origin main (or just git push for short). For example:

git commit -m "Added feature X to PintOS"
git push origin main

To compile PintOS and run the Project userprog tests:

cd /pintos/src/userprog
make
make check

The last command should run the PintOS test suite. These are the same tests that run on the autograder. By the end of each project, your code should pass all of the corresponding tests.