On Fri, 16 Feb 2001, Simon Burge wrote:

> Ben Harris wrote:
> 
> > NetBSD/arm32 is now using the shared NetBSD/arm libkern sources.  If
> > you're updating your kernel sources by CVS, remember to specify -d to get
> > the old directory removed.  I believe this should all work, but I haven't
> > got an arm32 system to try booting my new kernel on, so someone else
> > should check it hasn't all broken horribly.
> 
> For sys/lib/libkern/Makefile, there's only a substitution for arm26->arm
> and not for arm32.  I've just committed that change.  My shark kernel is
> still building...

<FX: Ben gets slightly confused, then realises he'd built an arm32
     kernel with MACHINE_ARCH set to "arm26", which is why it worked at
     all.>

We should probably start using MACHINE_CPU there.  I'll check with
tech-kern.

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