Subject: Re: Booting problem!
To: Forbes Baylis <RiscBSD@trilong.demon.co.uk>
From: Ale Terlevich <A.I.Terlevich@durham.ac.uk>
List: port-arm32
Date: 04/11/1997 14:29:59 
  Try using a newer kernel (From the autobuild directory)

These kernels are automatically generated each day from teh latest 
sources, and run on all cpu types, so you don't need a SA specific one.
( Get a voyager one)
Good luck!

Ale.