os_proj based on Berkeley Nachos

os_proj based on Berkeley Nachos