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

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