summaryrefslogtreecommitdiff
path: root/nuttx/arch/Kconfig
diff options
context:
space:
mode:
authorGregory Nutt <gnutt@nuttx.org>2014-08-24 09:57:53 -0600
committerGregory Nutt <gnutt@nuttx.org>2014-08-24 09:57:53 -0600
commit10792e9ab55efb05b5b832a40fc095bf30acbc08 (patch)
tree4d7d75374337d65b1a52575fffb1913a0289b70b /nuttx/arch/Kconfig
parent0da49af4dc4db35fcb4e97709ab1546e128fbb77 (diff)
downloadnuttx-10792e9ab55efb05b5b832a40fc095bf30acbc08.tar.gz
nuttx-10792e9ab55efb05b5b832a40fc095bf30acbc08.tar.bz2
nuttx-10792e9ab55efb05b5b832a40fc095bf30acbc08.zip
Add addrenv.h; First cut at Cortex-A address environment structures; Add configuration options to setup address enviornment
Diffstat (limited to 'nuttx/arch/Kconfig')
-rw-r--r--nuttx/arch/Kconfig58
1 files changed, 57 insertions, 1 deletions
diff --git a/nuttx/arch/Kconfig b/nuttx/arch/Kconfig
index 92bdb8342..4db654dd0 100644
--- a/nuttx/arch/Kconfig
+++ b/nuttx/arch/Kconfig
@@ -154,7 +154,7 @@ config ARCH_HAVE_EXTCLK
bool
default n
-config ARCH_ADDRENV
+menuconfig ARCH_ADDRENV
bool "Address environments"
default n
depends on ARCH_HAVE_ADDRENV
@@ -162,6 +162,62 @@ config ARCH_ADDRENV
Support per-task address environments using the MMU... i.e., support
"processes"
+if ARCH_ADDRENV && ARCH_HAVE_MMU
+
+config ARCH_TEXT_VBASE
+ hex "Virtual .text base"
+ ---help---
+ The virtual address of the beginning the .text region
+
+config ARCH_DATA_VBASE
+ hex "Virtual .bss/.data base"
+ ---help---
+ The virtual address of the beginning of the .bss/.data region.
+
+config ARCH_HEAP_VBASE
+ hex "Virtual heap base"
+ ---help---
+ The virtual address of the beginning of the heap region.
+
+config ARCH_STACK_VBASE
+ hex "Virtual stack base"
+ ---help---
+ The virtual address of the beginning the stack region
+
+config ARCH_TEXT_NPAGES
+ int "Max .text pages"
+ default 1
+ ---help---
+ The maximum number of pages that can allocated for the .text region.
+ This, along with knowledge of the page size, determines the size of
+ the .text virtual address space. Default is 1.
+
+config ARCH_DATA_NPAGES
+ int "Max .bss/.data pages"
+ default 1
+ ---help---
+ The maximum number of pages that can allocated for the .bss/.data
+ region. This, along with knowledge of the page size, determines the
+ size of the .bss/.data virtual address space. Default is 1.
+
+config ARCH_HEAP_NPAGES
+ int "Max heap pages"
+ default 1
+ ---help---
+ The maximum number of pages that can allocated for the heap region.
+ This, along with knowledge of the page size, determines the size of
+ the heap virtual address space. Default is 1.
+
+config ARCH_STACK_NPAGES
+ int "Max. stack pages"
+ default 1
+ ---help---
+ The maximum number of pages that can allocated for the stack region.
+ This, along with knowledge of the page size, determines the size of
+ the stack virtual address space. Default is 1.
+
+endif # ARCH_ADDRENV && ARCH_HAVE_MMU
+
menuconfig PAGING
bool "On-demand paging"
default n