diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-24 09:57:53 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-24 09:57:53 -0600 |
commit | 10792e9ab55efb05b5b832a40fc095bf30acbc08 (patch) | |
tree | 4d7d75374337d65b1a52575fffb1913a0289b70b /nuttx/arch/Kconfig | |
parent | 0da49af4dc4db35fcb4e97709ab1546e128fbb77 (diff) | |
download | nuttx-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/Kconfig | 58 |
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 |