On Wed, 13 Nov 96 11:02:40 EST 
 Mike Long <mike.long@analog.com> wrote:

 > options		"NKPDE=24"
 > 
 > I don't use this method myself, so I can't guarantee it.  If that
 > doesn't work, you'll have to edit /sys/arch/i386/include/vmparam.h to
 > change NKPDE.

That doesn't quite work... you need to edit this constant in
sys/arch/i386/include/pmap.h.

Someone's written a patch that fixes this problem by dynamically sizing
this constant.  So, I think that this will be fixed in the tree
Very Soon.

Jason R. Thorpe                                       thorpej@nas.nasa.gov
NASA Ames Research Center                               Home: 408.866.1912
NAS: M/S 258-6                                          Work: 415.604.0935
Moffett Field, CA 94035                                Pager: 415.428.6939