Log in to the Vagrant Virtual Machine (or instructional machine/cloud setup, if you aren’t using a Vagrant VM) that you set up in HW 0. You should have a copy of the Pintos skeleton code in
~/code/personal/proj-pregame on your VM. If you don’t see the
proj-pregame folder, run
git pull staff master 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 master (or just
git push for short). For example:
git commit -m "Added feature X to Pintos" git push origin master
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. The skeleton code already passes some of these tests. By the end of each project, your code should pass all of the corresponding tests.