A clean copy of the PintOS operating system