allow config file to override NKPDE (yuck)
authorderaadt <deraadt@openbsd.org>
Thu, 9 May 1996 10:16:47 +0000 (10:16 +0000)
committerderaadt <deraadt@openbsd.org>
Thu, 9 May 1996 10:16:47 +0000 (10:16 +0000)
commit8f78667f97f12aae8a41611589a27e8e06119fca
treeab090adb363c0492bf4d1d9d1543520c4d591a79
parent236ccc88449fcb0be7e04c4b0473c6748141f47c
allow config file to override NKPDE (yuck)
sys/arch/i386/include/pmap.h
sys/arch/i386/include/pmap.old.h