On Mon, Nov 19, 2001 at 02:15:56PM +0100, Michael Rauch wrote:
> as I was able to reproduce it very reliably over the weekend (system 
> locks up after half an hour running a `find /usr/src`) and even could 
> get some useful info for debugging out of ddb, I've just submitted
> PR kern/14640 for this problem. 

Thanks ! I intended to do it, but as I've console access to the machine only
on day per week it doesn't progress very fast :)

--
Manuel Bouyer, LIP6, Universite Paris VI.           Manuel.Bouyer@lip6.fr
--