From: Godmar Back <godmar@gmail.com>
Date: Sat, 17 Nov 2007 09:42:26 +0000 (+0000)
Subject: - add localsettings.texi which contains Stanford-local macros and variables
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d158a7cd545fa8dd35dba91935029465eedff0da;hp=d158a7cd545fa8dd35dba91935029465eedff0da;p=pintos-anon

- add localsettings.texi which contains Stanford-local macros and variables
- threads.texi - removed comment about being welcome to implement priority donation for semaphores
- vm.texi - added FAQ about how to resume.  It truely is a FAQ, at least here at Tech.
- debug.texi - updated Bochs build instructions
---