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

projects / pintos-anon / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 0fd3a24) | patch

author	Ben Pfaff <blp@cs.stanford.edu>
	Sun, 24 Aug 2008 04:31:40 +0000 (04:31 +0000)
committer	Ben Pfaff <blp@cs.stanford.edu>
	Sun, 24 Aug 2008 04:31:40 +0000 (04:31 +0000)
commit	59f738d500f51ffc5f487344865b8bed69c26281
tree	77c31c77fd0288c26c5d10d088f04f723fd8aa22	tree \| snapshot
parent	0fd3a243b790dd1cfc9e0a40c57dddde56cf344d	commit \| diff

Use standard POSIX "ustar" format for the scratch disk.

This should make it easier to work with scratch disks directly,
instead of through the "pintos" script.

With naming suggestion from Godmar Back.

14 files changed:

doc/bibliography.texi		diff \| blob \| history
doc/filesys.texi		diff \| blob \| history
doc/userprog.texi		diff \| blob \| history
src/Makefile.build		diff \| blob \| history
src/Makefile.userprog		diff \| blob \| history
src/filesys/fsutil.c		diff \| blob \| history
src/filesys/fsutil.h		diff \| blob \| history
src/lib/packed.h	[new file with mode: 0644]	blob
src/lib/ustar.c	[new file with mode: 0644]	blob
src/lib/ustar.h	[new file with mode: 0644]	blob
src/tests/filesys/extended/tar.c		diff \| blob \| history
src/tests/tests.pm		diff \| blob \| history
src/threads/init.c		diff \| blob \| history
src/utils/pintos		diff \| blob \| history

Pintos public repository