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

projects / pintos-anon / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 32ab424) | 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	383b2e8052badc1865f19e881afb8b5cdb63ff2e
tree	2bb3c79e5b0bedde537f09c87acea914ed92757f	tree \| snapshot
parent	32ab4246805606b7ef92f4c4e59a8b1c0d5bdf97	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