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

projects / pintos-anon / commit

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

author	Ben Pfaff <blp@cs.stanford.edu>
	Wed, 6 Apr 2005 18:47:14 +0000 (18:47 +0000)
committer	Ben Pfaff <blp@cs.stanford.edu>
	Wed, 6 Apr 2005 18:47:14 +0000 (18:47 +0000)
commit	1a9c8950f6f40cd7522aee8c326f0889b3aa959f
tree	f047e5c27da2a18876e3b2ce1c02ede83c04544a	tree \| snapshot
parent	b824f64f619947f0db626a5593b0affb81893017	commit \| diff

Always use a custom linker script, to avoid oddities in the default.
Put linker scripts in lib/user.
Eliminate redundant dependency in Makefile.userprog.
Document change.

doc/vm.texi		diff \| blob \| history
src/Makefile.userprog		diff \| blob \| history
src/lib/user/fullpage.lds	[new file with mode: 0644]	blob
src/lib/user/normal.lds	[new file with mode: 0644]	blob
src/tests/userprog/Makefile		diff \| blob \| history
src/tests/userprog/fullpage.x	[deleted file]	blob \| history

Pintos public repository