A simple operating system devised by Stanford University for Operating systems course, on which several assignments are based.
Follow Stanford installation instructions
Create environment variable $PINTOSHOME that contains pintos directory
Example:
export PINTOSHOME="/home/pintos"