Subject: Re: arm32 kernel crashes
To: Mark Brinicombe <mark@causality.com>
From: David Forbes <dmf20@hermes.cam.ac.uk>
List: port-arm32
Date: 12/16/1998 17:50:41
> Hi,
>   Erk, I know that bug .... and I have fixed it for someone ... Hmm I'll
> check as may be the fix did not get committed.

Excellent!  I hope it's as simple as that.  (The little temporary "sweep
the symptoms under the carpet" fix that I did is fine for a 19200 serial
terminal, but goes down in flames with a 56k modem connection...)

Thanks,
David.