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...

And the kernel booted fine!  Pity my -current /etc update didn't :-(

Simon.
--
Simon Burge                            <simonb@wasabisystems.com>
NetBSD CDs, Support and Service:    http://www.wasabisystems.com/