Open Systems Seminar: Assignment 2
		DUE: Wednesday April 18th

For this assignment, you'll run a simple extension, ``null'' over the
latest Linux kernel.  After this assignment, you should be comfortable
using the system with pre-written checkers.  Null should should find
more than 50 errors, all of which are ``live.''  The next assignment
will have you fix some subset of these and submit your patches to the
main linux developers.

For this assignment you should:
	1.  Download the xgcc system from the course web page
	http://www.stanford.edu/class/cs99q/ and configure it
	on your system.

	2 Download the latest Linux release from kernel.org
	(you could also try using an even more bleeding edge version).
	You should also get the ''.config'' file from the course web
	page: this will turn on many device drivers that are disabled
	by default.

	3 Download the checker and support utilities.

	4 Run the checker over linux.  The document ``How to build and
	run xgcc'' will tell you how to do this.

	5 Diagnose the errors as described in ``How to process errors.''

At the end, you'll have a deliverable file, linux-2.4.3-null-run0, which
will contain the error messages xgcc produced along with annotations
(added by you) saying whether the messages were errors or false positives.
There should be less than 10% false positives --- if you get higher
numbers, let us know, since this means something is broken in your setup.
You should bring this file to class on wednesday, making a note of where
false positives are so we can compare.