diff options
author | Matt Mackall <mpm@selenic.com> | 2008-02-05 01:29:07 -0500 |
---|---|---|
committer | Linus Torvalds <torvalds@woody.linux-foundation.org> | 2008-02-05 12:44:17 -0500 |
commit | 1e88328111aae3ea408f346763ba9f9bad71f876 (patch) | |
tree | 22be92057a7426ca5b6c8ee9b136bbc417c902a8 /init | |
parent | 304daa8132a95e998b6716d4b7bd8bd76aa152b2 (diff) |
maps4: make page monitoring /proc file optional
Make /proc/ page monitoring configurable
This puts the following files under an embedded config option:
/proc/pid/clear_refs
/proc/pid/smaps
/proc/pid/pagemap
/proc/kpagecount
/proc/kpageflags
[akpm@linux-foundation.org: Kconfig fix]
Signed-off-by: Matt Mackall <mpm@selenic.com>
Cc: Dave Hansen <haveblue@us.ibm.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'init')
-rw-r--r-- | init/Kconfig | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/init/Kconfig b/init/Kconfig index dc28836d9d00..aaa7e7d5305e 100644 --- a/init/Kconfig +++ b/init/Kconfig | |||
@@ -678,6 +678,16 @@ config MARKERS | |||
678 | 678 | ||
679 | source "arch/Kconfig" | 679 | source "arch/Kconfig" |
680 | 680 | ||
681 | config PROC_PAGE_MONITOR | ||
682 | default y | ||
683 | depends on PROC_FS && MMU | ||
684 | bool "Enable /proc page monitoring" if EMBEDDED | ||
685 | help | ||
686 | Various /proc files exist to monitor process memory utilization: | ||
687 | /proc/pid/smaps, /proc/pid/clear_refs, /proc/pid/pagemap, | ||
688 | /proc/kpagecount, and /proc/kpageflags. Disabling these | ||
689 | interfaces will reduce the size of the kernel by approximately 4kb. | ||
690 | |||
681 | endmenu # General setup | 691 | endmenu # General setup |
682 | 692 | ||
683 | config SLABINFO | 693 | config SLABINFO |