failure installing CVS pistachio user

[Espen Skoglund]

[Nick Brown]
> make install fails, for the user side of pistachio that I've just
> checked out of CVS, with a missing header file.  Below is what I did
> and the error message.

> ===> Installing include files
> /usr/bin/install: cannot stat `l4/ia32/tracebuffer.h': No such file or 
> directory

Whooops.  Yes, you're right.  Added it to the public CVS now.

	eSk