Subject: Re: kernel names
To: Vincent Lefevre <Vincent.Lefevre@ens-lyon.fr>
From: Ale Terlevich <A.I.Terlevich@durham.ac.uk>
List: port-arm32
Date: 06/03/1997 12:24:24 
> What's the difference between a voy- kernel and a sa110- kernel
> (on a SA Risc PC)?

  Before Feb (ish), the voy-* kernels were for ARM6/7 CPU RiscPCs and the 
sa110-* kernels were for SA110 RiscPCs!

  After Feb, the voy-* kernels work in all RiscPCs, and no more sa110-* 
kernels were produced.

Ale.