diff options
Diffstat (limited to 'arch/arm/Kconfig')
-rw-r--r-- | arch/arm/Kconfig | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig index dbfdf87f993f..2b28786b3879 100644 --- a/arch/arm/Kconfig +++ b/arch/arm/Kconfig | |||
@@ -915,6 +915,23 @@ config NODES_SHIFT | |||
915 | default "2" | 915 | default "2" |
916 | depends on NEED_MULTIPLE_NODES | 916 | depends on NEED_MULTIPLE_NODES |
917 | 917 | ||
918 | config HIGHMEM | ||
919 | bool "High Memory Support (EXPERIMENTAL)" | ||
920 | depends on MMU && EXPERIMENTAL | ||
921 | help | ||
922 | The address space of ARM processors is only 4 Gigabytes large | ||
923 | and it has to accommodate user address space, kernel address | ||
924 | space as well as some memory mapped IO. That means that, if you | ||
925 | have a large amount of physical memory and/or IO, not all of the | ||
926 | memory can be "permanently mapped" by the kernel. The physical | ||
927 | memory that is not permanently mapped is called "high memory". | ||
928 | |||
929 | Depending on the selected kernel/user memory split, minimum | ||
930 | vmalloc space and actual amount of RAM, you may not need this | ||
931 | option which should result in a slightly faster kernel. | ||
932 | |||
933 | If unsure, say n. | ||
934 | |||
918 | source "mm/Kconfig" | 935 | source "mm/Kconfig" |
919 | 936 | ||
920 | config LEDS | 937 | config LEDS |