summaryrefslogtreecommitdiff
path: root/nuttx/configs/README.txt
diff options
context:
space:
mode:
authorpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2010-09-08 17:38:44 +0000
committerpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2010-09-08 17:38:44 +0000
commitf5072951cc0ddc165fea568a2733a19b51ed1cee (patch)
treece666d30296334e7635272e8f80c442dd11117bb /nuttx/configs/README.txt
parent7aef1347d64241b4516a32aeb7dd7f9696aa75b4 (diff)
downloadpx4-nuttx-f5072951cc0ddc165fea568a2733a19b51ed1cee.tar.gz
px4-nuttx-f5072951cc0ddc165fea568a2733a19b51ed1cee.tar.bz2
px4-nuttx-f5072951cc0ddc165fea568a2733a19b51ed1cee.zip
Implement SD-based paging for EA3131
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2931 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/configs/README.txt')
-rw-r--r--nuttx/configs/README.txt5
1 files changed, 5 insertions, 0 deletions
diff --git a/nuttx/configs/README.txt b/nuttx/configs/README.txt
index 6603c9848..d94fdf7af 100644
--- a/nuttx/configs/README.txt
+++ b/nuttx/configs/README.txt
@@ -401,6 +401,11 @@ defconfig -- This is a configuration file similar to the Linux
page table entry to use for the vector mapping.
CONFIG_PAGING_VECL2VADDR - This is the virtual address of the L2
page table entry to use for the vector mapping.
+ CONFIG_PAGING_BINPATH - If CONFIG_PAGING_BINPATH is defined, then it
+ is the full path to a file on a mounted file system that contains
+ a binary image of the NuttX executable. Pages will be filled by
+ reading from offsets into this file that correspond to virtual
+ fault addresses.
The following can be used to disable categories of APIs supported
by the OS. If the compiler supports weak functions, then it