Operate system lab of the MIT 6.828 course