CMSC 422, Operating System Design