Extending the functionality of Pintos Operating System