port-arm32: Seen PR 8380 ?

Subject: Seen PR 8380 ?
To: None <port-arm32@netbsd.org>
From: Reinoud Zandijk <zandijk@cs.utwente.nl>
List: port-arm32
Date: 09/15/1999 14:44:22

Hi folks,

have any of you noticed the PR kern/8380 I posted ? Has any of you had the
same symptoms ? i.e. crashing machines under/after heavy load?

Cheers,

Reinoud