PTE_SHARE added.
tree2ee14993efcf3ff269299088ade3be00d863d04b
-rw-r--r-- 33349 .bochsrc
-rw-r--r-- 1115 CODING
-rw-r--r-- 4637 GNUmakefile
drwxr-xr-x - boot
drwxr-xr-x - conf
drwxr-xr-x - fs
-rw-r--r-- 4446 grade.sh
drwxr-xr-x - inc
drwxr-xr-x - kern
drwxr-xr-x - lib
-rw-r--r-- 2331 mergedep.pl
drwxr-xr-x - user