> >Fix:
> 	Increase src/sys/arch/i386/i386/pmap.h: NKPDE from 12 to 31.
> 	This however may not be fully correct, if not can you tell me why :-)

This has the unfortunate side effect that it wastes something like
19 * 4K of wired memory...  76K is a lot of wired memory to throw away
on a 4M machine.

a better way to do it would be to make kernel page table space
dynamically allocated...  but that's harder.  8-)


chris