GitHub repository: nachos/nachos-config
Primary language: JavaScript
Created: 2015-06-08T01:01:01Z
Description: nachos settings file for nachos