On newer systems -ltinfo needs to be explicitly added to the link flags
[pintos-anon] / src / lib / user / user.lds
2015-12-17 John OusterhoutFixes exec-bound-3 failures
2006-04-20 Ben PfaffMajor revisions to documentation.