Add some SD file paging logic

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2932 42af7a65-404d-4744-a932-0658087f49c3

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