On Thu, Jun 22, 2006 at 11:18:07PM +0200, Manuel Bouyer wrote:
> Or maybe it's because I'm using slow hardware. I'll see if I have time
> to test on a 3Ghz P4 system tomorow.

I forgot I'm setting up a dual-Xeon 3.2Ghz system. I tested a current kernel
on this box, and it's fine too:

NetBSD 3.99.21 (XEN2_DOM0) #0: Thu Jun 22 23:19:01 CEST 2006
        bouyer@blues.lip6.fr:/Volumes/data/bouyer/tmp/i386/obj/Volumes/data/bouyer/current/src/sys/arch/i386/compile/XEN2_DOM0
total memory = 128 MB
avail memory = 116 MB
mainbus0 (root)
cpu0 at mainbus0: (uniprocessor)
cpu0: Intel (686-class), 3192.33 MHz, id 0xf43
cpu0: features bfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR>
cpu0: features bfebfbff<PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX>
cpu0: features bfebfbff<FXSR,SSE,SSE2,SS,HTT,TM,SBF>
cpu0: I-cache 12K uOp cache 8-way
cpu0: ITLB 4K/4M: 64 entries
cpu0: DTLB 4K/4M: 64 entries

So it doesn't look like a speed issue.

-- 
Manuel Bouyer <bouyer@antioche.eu.org>
     NetBSD: 26 ans d'experience feront toujours la difference
--