On Fri, Oct 29, 2010 at 11:55:00PM +0200, Maurizio Caloro wrote: > NetBSD 5.1_RC4 (GENERIC32) #0: Wed Oct 27 06:01:54 CEST 2010 GENERIC32 is not the kernel you want, use GENERIC instead. Martin