Subject: Re: EXTRA_KERNELS+=SHARK?
To: Hubert Feyrer <feyrer@rfhs8012.fh-regensburg.de>
From: Mark Brinicombe <mark@causality.com>
List: port-arm32
Date: 04/03/1999 15:56:38 
On Sat, 3 Apr 1999, Hubert Feyrer wrote:

> 
> Hi,
> 
> would it make sense to ship a seperate SHARK kernel in 1.4? 
> (i.e., add EXTRA_KERNELS+=SHARK to src/etc/etc.arm32/Makefile.inc)?
> I think this would be good... or do GENERIC kernels work on Sharks (and
> probably Cats) these days?
Hi,
  Yep there will be several kernels for 1.4 including a SHARK one.

Cheers,
				Mark