pintos-os.org Git - pintos-anon/tree

-rw-r--r--	272	Makefile	blob \| raw
-rw-r--r--	2643	Makefile.inc	blob \| raw
-rw-r--r--	391	ORIGIN	blob \| raw
drwxr-xr-x	-	devices	tree
drwxr-xr-x	-	filesys	tree
drwxr-xr-x	-	lib	tree
-rwxr-xr-x	625	pad	blob \| raw
drwxr-xr-x	-	threads	tree
drwxr-xr-x	-	userprog	tree
drwxr-xr-x	-	vmware	tree