diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2010-09-08 22:06:38 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2010-09-08 22:06:38 +0000 |
commit | 1218d6b44b4c1a7b28a8cebda1cf18cf0fc000bd (patch) | |
tree | 84f53c783121c4830102717e0c46380d747c8e3f /nuttx/configs/ea3131/pgnsh | |
parent | f5072951cc0ddc165fea568a2733a19b51ed1cee (diff) | |
download | px4-nuttx-1218d6b44b4c1a7b28a8cebda1cf18cf0fc000bd.tar.gz px4-nuttx-1218d6b44b4c1a7b28a8cebda1cf18cf0fc000bd.tar.bz2 px4-nuttx-1218d6b44b4c1a7b28a8cebda1cf18cf0fc000bd.zip |
Add some SD file paging logic
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2932 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/configs/ea3131/pgnsh')
-rwxr-xr-x | nuttx/configs/ea3131/pgnsh/defconfig | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/nuttx/configs/ea3131/pgnsh/defconfig b/nuttx/configs/ea3131/pgnsh/defconfig index 8f5082eea..caf5a447f 100755 --- a/nuttx/configs/ea3131/pgnsh/defconfig +++ b/nuttx/configs/ea3131/pgnsh/defconfig @@ -405,6 +405,25 @@ CONFIG_SIG_SIGWORK=4 # 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. +# CONFIG_PAGING_MOUNTPT - If CONFIG_PAGING_BINPATH is defined, additional +# options may be provided to control the initialization of underlying +# devices. CONFIG_PAGING_MOUNTPT identifies the mountpoint to be used +# if a device is mounted. +# CONFIG_PAGING_MINOR - Some mount operations require a "minor" number +# to identify the specific device instance. Default: 0 +# CONFIG_PAGING_SDSLOT - If CONFIG_PAGING_BINPATH is defined, additional +# options may be provided to control the initialization of underlying +# devices. CONFIG_PAGING_SDSLOT identifies the slot number of the SD +# device to initialize. This must be undefined if SD is not being used. +# This should be defined to be zero for the typical device that has +# only a single slot (See CONFIG_MMCSD_NSLOTS). If defined, +# CONFIG_PAGING_SDSLOT will instruct certain board-specific logic to +# initialize the media in this SD slot. # CONFIG_PAGING=y CONFIG_PAGING_PAGESIZE=1024 @@ -422,6 +441,10 @@ CONFIG_PAGING_BLOCKINGFILL=y #CONFIG_PAGING_VECPPAGE #CONFIG_PAGING_VECL2PADDR #CONFIG_PAGING_VECL2VADDR +#CONFIG_PAGING_BINPATH="/mnt/pgsrc/nuttx.bin" +CONFIG_PAGING_MOUNTPT="/mnt/pgsrc" +CONFIG_PAGING_MINOR=0 +CONFIG_PAGING_SDSLOT=0 # # The following can be used to disable categories of |