Subject: Re: shocking speed performance!
To: Todd Vierling <tv@pobox.com>
From: Erik E. Fair <fair@clock.org>
List: port-arm32
Date: 05/20/1999 17:04:19 
At a minimum, we could compile the system-specific kernels (e.g. SHARK)
with the CPU specific tuning options. This should be a simple "makeoptions"
change to the config file.

	Erik