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