Subject: SHARK config change
To: NetBSD/arm32 Mailing List <port-arm32@NetBSD.ORG>
From: Mark Brinicombe <mark@causality.com>
List: port-arm32
Date: 06/18/1998 23:36:43 
Hi,
  I've just disabled the ARMFPE option in the SHARK and OFWGENCFG config
files as use of the FPE is not recommended for performance reasons. This
should not affect anything as all builds since 1.2G have been soft-float
but just incase somebody want to play with hard-float they will need to
re-enable the option.

Cheers,
				Mark