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

projects / pintos-anon / tree

summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot

[pintos-anon] / specs / partitions /

drwxr-xr-x		..
-rw-r--r--	1715	index.html	blob \| history \| raw
-rw-r--r--	51566	partition_types-1.html	blob \| history \| raw
-rw-r--r--	34201	partition_types-2.html	blob \| history \| raw
-rw-r--r--	1715	partition_types.html	blob \| history \| raw

Pintos public repository