OS Laboratory work on pintos