The following code is for the stanford project on pintos used for study purposes