port-arm32: Re: EXTRA_KERNELS+=SHARK?

Subject: Re: EXTRA_KERNELS+=SHARK?
To: Hubert Feyrer <feyrer@rfhs8012.fh-regensburg.de>
From: David Forbes <dmf20@hermes.cam.ac.uk>
List: port-arm32
Date: 04/03/1999 23:30:51

> 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)?

If you do this "make snapshot" will fail (or at least it will using the
last set of Makefiles that I got).  This is because the Makefile only
picks up kernels called "netbsd".  PR misc/7180 has the minor fix for
this.

David.