diff options
Diffstat (limited to 'nuttx/configs')
| -rw-r--r-- | nuttx/configs/sama5d4-ek/README.txt | 14 | ||||
| -rw-r--r-- | nuttx/configs/sama5d4-ek/elf/defconfig | 17 |
2 files changed, 28 insertions, 3 deletions
diff --git a/nuttx/configs/sama5d4-ek/README.txt b/nuttx/configs/sama5d4-ek/README.txt index 9e5b58460..a6f6d8d87 100644 --- a/nuttx/configs/sama5d4-ek/README.txt +++ b/nuttx/configs/sama5d4-ek/README.txt @@ -3684,6 +3684,20 @@ Configurations the warning in the section "Information Common to All Configurations" for further information. + 3. This configuration currently has Cortex-A address environments selected for testing. With this option, the MMU is used to create a custom address environment for each ELF program. This option can be disabled in which case the ELF programs will simply execute out normal memory allocated from the heap. To disable this feature: + + System Type -> Architecture Options + CONFIG_ARCH_ADDRENV=n : Disable address environment support + + Memory Management + CONFIG_GRAN=n : Disable the granule allocator + CONFIG_MM_PGALLOC=n : Disable the page allocator + + STATUS: + 2014-8024: This configuration works with the address environment + option disable. + 2014-8-25: But still does not even build successfully with the + address environment option enabled. nsh: This configuration directory provide the NuttShell (NSH). This is a diff --git a/nuttx/configs/sama5d4-ek/elf/defconfig b/nuttx/configs/sama5d4-ek/elf/defconfig index 59973b79b..a940d98b2 100644 --- a/nuttx/configs/sama5d4-ek/elf/defconfig +++ b/nuttx/configs/sama5d4-ek/elf/defconfig @@ -258,7 +258,15 @@ CONFIG_ARCH_HAVE_VFORK=y CONFIG_ARCH_HAVE_MMU=y CONFIG_ARCH_NAND_HWECC=y # CONFIG_ARCH_HAVE_EXTCLK is not set -# CONFIG_ARCH_ADDRENV is not set +CONFIG_ARCH_ADDRENV=y +CONFIG_ARCH_TEXT_VBASE=0x80000000 +CONFIG_ARCH_DATA_VBASE=0x80100000 +CONFIG_ARCH_HEAP_VBASE=0x80200000 +CONFIG_ARCH_STACK_VBASE=0x80300000 +CONFIG_ARCH_TEXT_NPAGES=256 +CONFIG_ARCH_DATA_NPAGES=256 +CONFIG_ARCH_HEAP_NPAGES=256 +CONFIG_ARCH_STACK_NPAGES=256 # CONFIG_PAGING is not set # CONFIG_ARCH_IRQPRIO is not set CONFIG_ARCH_STACKDUMP=y @@ -586,8 +594,11 @@ CONFIG_FS_ROMFS=y # CONFIG_MM_SMALL is not set CONFIG_MM_REGIONS=1 # CONFIG_ARCH_HAVE_HEAP2 is not set -# CONFIG_GRAN is not set -# CONFIG_MM_PGALLOC is not set +CONFIG_GRAN=y +CONFIG_GRAN_SINGLE=y +# CONFIG_GRAN_INTR is not set +CONFIG_MM_PGALLOC=y +CONFIG_MM_PGSIZE=4096 # # Audio Support |