Subject: EXTRA_KERNELS+=SHARK?
To: None <port-arm32@netbsd.org>
From: Hubert Feyrer <feyrer@rfhs8012.fh-regensburg.de>
List: port-arm32
Date: 04/03/1999 16:22:24 
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?


 - Hubert

-- 
Hubert Feyrer <hubert.feyrer@rz.uni-regensburg.de>