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