course project in TDDB68, Concurrent Programming and Operating Systems in Linkoping University. Pintos project was created at Stanford University
LiU lab webpage: http://www.ida.liu.se/~TDDB68/labs/index.shtml
http://www.scs.stanford.edu/07au-cs140/pintos/pintos.html#SEC_Contents