FEUP: Operating Systems - EIC0027 - 2012/2013