diff options
Diffstat (limited to 'nuttx/configs/ea3131/pgnsh/defconfig')
| -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 |