Getting started

SSH into the Docker workspace that you set up in HW 0. You should have a copy of the Pintos skeleton code in ~/code/personal/proj-pregame. If you don’t see the proj-pregame folder, run git pull staff main to get the latest copy of the starter code.

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 ~/code/personal/proj-pregame/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.