Subject: Re: port-i386/1909: NKPDE fix.
To: None <neil@domino.ORG>
From: None <Chris_G_Demetriou@NIAGARA.NECTAR.CS.CMU.EDU>
List: netbsd-bugs
Date: 01/07/1996 20:58:11
> >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-)