CIS 520 Project 1 Authors: Christian Hughes, Katie Kristiansen, & Matt Hixon IMPORTANT: Update path in ~/.bashrc to run 'pintos' command from this project1 directory Interesting notes and resources can be found in: src/threads/Design1.txt