CIS 520, Team TNL: The Pintos OS