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

projects / pintos-anon / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: fdc9df9) | 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	aad6951e264c5f86865fbfc36ecd0cf1663f0eae
tree	484c8780eb4d4423b6d123ffb59991864dba0640	tree \| snapshot
parent	fdc9df9f83b8d6676b2fef983bf72a778e04c26f	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.

15 files changed:

doc/bibliography.texi		diff \| blob \| history
doc/filesys.texi		diff \| blob \| history
doc/userprog.texi		diff \| blob \| history
solutions/p4.patch		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