Wording improvements, from "Valentin I. Spitkovsky"mastermob
[pintos.git] / src / 
treebb4aff75a974941c2337c92e4b7525a6e35c76cb
drwxr-xr-x   ..
-rw-r--r-- 34 .cvsignore
-rw-r--r-- 4621 LICENSE
-rw-r--r-- 1463 Make.config
-rw-r--r-- 628 Makefile
-rw-r--r-- 3475 Makefile.build
-rw-r--r-- 333 Makefile.kernel
-rw-r--r-- 1457 Makefile.userprog
drwxr-xr-x - devices
drwxr-xr-x - examples
drwxr-xr-x - filesys
drwxr-xr-x - lib
drwxr-xr-x - misc
drwxr-xr-x - tests
drwxr-xr-x - threads
drwxr-xr-x - userprog
drwxr-xr-x - utils
drwxr-xr-x - vm