diff options
| author | jhb <jhb@FreeBSD.org> | 2011-08-26 17:08:22 +0000 |
|---|---|---|
| committer | jhb <jhb@FreeBSD.org> | 2011-08-26 17:08:22 +0000 |
| commit | c189a8585eba561c69434f90d30a71e897228236 (patch) | |
| tree | 4e1041a6becbb834cd0252abd62d88f91d7030a3 /sys/amd64 | |
| parent | faaa2dc21f1a608ad5900b982c54b74851ba71b9 (diff) | |
| download | FreeBSD-src-c189a8585eba561c69434f90d30a71e897228236.zip FreeBSD-src-c189a8585eba561c69434f90d30a71e897228236.tar.gz | |
Make NKPT a kernel option on amd64 so that it can be set to a non-default
value from kernel config files.
Reviewed by: alc
Approved by: re (kib)
MFC after: 1 week
Diffstat (limited to 'sys/amd64')
| -rw-r--r-- | sys/amd64/amd64/minidump_machdep.c | 1 | ||||
| -rw-r--r-- | sys/amd64/conf/NOTES | 8 |
2 files changed, 9 insertions, 0 deletions
diff --git a/sys/amd64/amd64/minidump_machdep.c b/sys/amd64/amd64/minidump_machdep.c index 6b417f9..577de07 100644 --- a/sys/amd64/amd64/minidump_machdep.c +++ b/sys/amd64/amd64/minidump_machdep.c @@ -27,6 +27,7 @@ #include <sys/cdefs.h> __FBSDID("$FreeBSD$"); +#include "opt_pmap.h" #include "opt_watchdog.h" #include <sys/param.h> diff --git a/sys/amd64/conf/NOTES b/sys/amd64/conf/NOTES index 4a47ace..07ea7b3 100644 --- a/sys/amd64/conf/NOTES +++ b/sys/amd64/conf/NOTES @@ -490,6 +490,14 @@ options ENABLE_ALART # Control alarm on Intel intpm driver # options PMAP_SHPGPERPROC=201 +# +# Number of initial kernel page table pages used for early bootstrap. +# This number should include enough pages to map the kernel and any +# modules or other data loaded with the kernel by the loader. Each +# page table page maps 2MB. +# +options NKPT=31 + ##################################################################### # ABI Emulation |
