On Wed, 20 Dec 2000, Richard Earnshaw wrote:

> It was my understanding that a "port" (at least in the kernel source tree) 
> should be defined by the ability to boot from a single GENERIC kernel.  
> That would certainly never be the case between the ARM26 and ARM32 worlds. 
>  The question is whether it will ever be possible between cats, RISC PC, 
> and shark etc.  If they can (in theory) run from a single kernel, then the 
> sources should stay together, if not, then there should probably be a 
> split.

I think the important question here is not whether it's theoretically
possible (FWIW, it'd be theoretically possible to have a combined
arm26/arm32 kernel), but whether it's currently true.  The present
situation is wrong (in that there's a single port that needs multiple
kernels), and there are two ways to fix it.  One is to split the ports,
and the other is to make them all use the same kernel.  Keeping the
current arrangement because it might one day be theoretically possible to
merge the kernels is, IMO, silly.

-- 
Ben Harris                                                   <bjh21@netbsd.org>
Portmaster, NetBSD/arm26               <URL:http://www.netbsd.org/Ports/arm26/>