[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