Nachos OS functionality implementation