On Sun, Jun 11, 2000 at 07:18:20PM +0200, Georges Heinesch wrote:
> You were right. It was a different kernel. However I used the ones
> distributed (loadbsd on AmigaOS partition) with NetBSD-1.4.2 and the
> one installed by NetBSD-1.4.2.
> 
> Is there an easy way to get the version of the kernel?

Ugh. Should have been the same... obviously, the release builder (myself)
wasn't careful enough.

	-is