diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2009-12-31 19:56:26 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2009-12-31 19:56:26 +0000 |
commit | 9a3ff5bd8b2ced812a26cad4b2a367da2ff7100a (patch) | |
tree | 185813e3005fa39907f2388dc8780951f6bfa65d /nuttx/configs/ntosd-dm320 | |
parent | 8a3654593a21093c337efb3cf469064391a8c230 (diff) | |
download | px4-nuttx-9a3ff5bd8b2ced812a26cad4b2a367da2ff7100a.tar.gz px4-nuttx-9a3ff5bd8b2ced812a26cad4b2a367da2ff7100a.tar.bz2 px4-nuttx-9a3ff5bd8b2ced812a26cad4b2a367da2ff7100a.zip |
Add logic to support a ROM'ed MMU page table
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2470 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/configs/ntosd-dm320')
-rw-r--r-- | nuttx/configs/ntosd-dm320/nettest/defconfig | 17 | ||||
-rw-r--r-- | nuttx/configs/ntosd-dm320/nsh/defconfig | 17 | ||||
-rw-r--r-- | nuttx/configs/ntosd-dm320/ostest/defconfig | 17 | ||||
-rw-r--r-- | nuttx/configs/ntosd-dm320/poll/defconfig | 17 | ||||
-rw-r--r-- | nuttx/configs/ntosd-dm320/thttpd/defconfig | 17 | ||||
-rw-r--r-- | nuttx/configs/ntosd-dm320/udp/defconfig | 17 | ||||
-rw-r--r-- | nuttx/configs/ntosd-dm320/uip/defconfig | 17 |
7 files changed, 49 insertions, 70 deletions
diff --git a/nuttx/configs/ntosd-dm320/nettest/defconfig b/nuttx/configs/ntosd-dm320/nettest/defconfig index 5c013f92d..bc1b729df 100644 --- a/nuttx/configs/ntosd-dm320/nettest/defconfig +++ b/nuttx/configs/ntosd-dm320/nettest/defconfig @@ -76,17 +76,14 @@ CONFIG_ARCH_STACKDUMP=n # # ARM-specific configuration # -# CONFIG_ARM_LOWVECTORS - define if vectors reside at address 0x0000:00000 +# CONFIG_ARCH_LOWVECTORS - define if vectors reside at address 0x0000:00000 # Undefine if vectors reside at address 0xffff:0000 -# CONFIG_ARM_ROMPGTABLE - A pre-initialized, read-only page table is available -# CONFIG_PGTABLE_BASE must also be defined in this case. -# CONFIG_PGTABLE_BASE - The (physical) base address of the pre-initialized -# read-only page table vector. This must be provided if CONFIG_ARM_ROMPGTABLE -# is defined. -# -CONFIG_ARM_LOWVECTORS=n -CONFIG_ARM_ROMPGTABLE=n -#CONFIG_PGTABLE_BASE= +# CONFIG_ARCH_ROMPGTABLE - A pre-initialized, read-only page table is available. +# If defined, then board-specific logic must also define PGTABLE_BASE_PADDR, +# PGTABLE_BASE_VADDR, and all memory section mapping, possibly in board.h +# +CONFIG_ARCH_LOWVECTORS=n +CONFIG_ARCH_ROMPGTABLE=n # # DM320 specific device driver settings diff --git a/nuttx/configs/ntosd-dm320/nsh/defconfig b/nuttx/configs/ntosd-dm320/nsh/defconfig index 0c77a0882..6d41bc586 100644 --- a/nuttx/configs/ntosd-dm320/nsh/defconfig +++ b/nuttx/configs/ntosd-dm320/nsh/defconfig @@ -76,17 +76,14 @@ CONFIG_ARCH_STACKDUMP=n # # ARM-specific configuration # -# CONFIG_ARM_LOWVECTORS - define if vectors reside at address 0x0000:00000 +# CONFIG_ARCH_LOWVECTORS - define if vectors reside at address 0x0000:00000 # Undefine if vectors reside at address 0xffff:0000 -# CONFIG_ARM_ROMPGTABLE - A pre-initialized, read-only page table is available -# CONFIG_PGTABLE_BASE must also be defined in this case. -# CONFIG_PGTABLE_BASE - The (physical) base address of the pre-initialized -# read-only page table vector. This must be provided if CONFIG_ARM_ROMPGTABLE -# is defined. -# -CONFIG_ARM_LOWVECTORS=n -CONFIG_ARM_ROMPGTABLE=n -#CONFIG_PGTABLE_BASE= +# CONFIG_ARCH_ROMPGTABLE - A pre-initialized, read-only page table is available. +# If defined, then board-specific logic must also define PGTABLE_BASE_PADDR, +# PGTABLE_BASE_VADDR, and all memory section mapping, possibly in board.h +# +CONFIG_ARCH_LOWVECTORS=n +CONFIG_ARCH_ROMPGTABLE=n # # DM320 specific device driver settings diff --git a/nuttx/configs/ntosd-dm320/ostest/defconfig b/nuttx/configs/ntosd-dm320/ostest/defconfig index 904918639..b4e38b347 100644 --- a/nuttx/configs/ntosd-dm320/ostest/defconfig +++ b/nuttx/configs/ntosd-dm320/ostest/defconfig @@ -76,17 +76,14 @@ CONFIG_ARCH_STACKDUMP=y # # ARM-specific configuration # -# CONFIG_ARM_LOWVECTORS - define if vectors reside at address 0x0000:00000 +# CONFIG_ARCH_LOWVECTORS - define if vectors reside at address 0x0000:00000 # Undefine if vectors reside at address 0xffff:0000 -# CONFIG_ARM_ROMPGTABLE - A pre-initialized, read-only page table is available -# CONFIG_PGTABLE_BASE must also be defined in this case. -# CONFIG_PGTABLE_BASE - The (physical) base address of the pre-initialized -# read-only page table vector. This must be provided if CONFIG_ARM_ROMPGTABLE -# is defined. -# -CONFIG_ARM_LOWVECTORS=n -CONFIG_ARM_ROMPGTABLE=n -#CONFIG_PGTABLE_BASE= +# CONFIG_ARCH_ROMPGTABLE - A pre-initialized, read-only page table is available. +# If defined, then board-specific logic must also define PGTABLE_BASE_PADDR, +# PGTABLE_BASE_VADDR, and all memory section mapping, possibly in board.h +# +CONFIG_ARCH_LOWVECTORS=n +CONFIG_ARCH_ROMPGTABLE=n # # DM320 specific device driver settings diff --git a/nuttx/configs/ntosd-dm320/poll/defconfig b/nuttx/configs/ntosd-dm320/poll/defconfig index ffb97dbf3..bdbab6be3 100644 --- a/nuttx/configs/ntosd-dm320/poll/defconfig +++ b/nuttx/configs/ntosd-dm320/poll/defconfig @@ -76,17 +76,14 @@ CONFIG_ARCH_STACKDUMP=n # # ARM-specific configuration # -# CONFIG_ARM_LOWVECTORS - define if vectors reside at address 0x0000:00000 +# CONFIG_ARCH_LOWVECTORS - define if vectors reside at address 0x0000:00000 # Undefine if vectors reside at address 0xffff:0000 -# CONFIG_ARM_ROMPGTABLE - A pre-initialized, read-only page table is available -# CONFIG_PGTABLE_BASE must also be defined in this case. -# CONFIG_PGTABLE_BASE - The (physical) base address of the pre-initialized -# read-only page table vector. This must be provided if CONFIG_ARM_ROMPGTABLE -# is defined. -# -CONFIG_ARM_LOWVECTORS=n -CONFIG_ARM_ROMPGTABLE=n -#CONFIG_PGTABLE_BASE= +# CONFIG_ARCH_ROMPGTABLE - A pre-initialized, read-only page table is available. +# If defined, then board-specific logic must also define PGTABLE_BASE_PADDR, +# PGTABLE_BASE_VADDR, and all memory section mapping, possibly in board.h +# +CONFIG_ARCH_LOWVECTORS=n +CONFIG_ARCH_ROMPGTABLE=n # # DM320 specific device driver settings diff --git a/nuttx/configs/ntosd-dm320/thttpd/defconfig b/nuttx/configs/ntosd-dm320/thttpd/defconfig index e5eb6ee76..7cb7cce17 100644 --- a/nuttx/configs/ntosd-dm320/thttpd/defconfig +++ b/nuttx/configs/ntosd-dm320/thttpd/defconfig @@ -76,17 +76,14 @@ CONFIG_ARCH_STACKDUMP=n # # ARM-specific configuration # -# CONFIG_ARM_LOWVECTORS - define if vectors reside at address 0x0000:00000 +# CONFIG_ARCH_LOWVECTORS - define if vectors reside at address 0x0000:00000 # Undefine if vectors reside at address 0xffff:0000 -# CONFIG_ARM_ROMPGTABLE - A pre-initialized, read-only page table is available -# CONFIG_PGTABLE_BASE must also be defined in this case. -# CONFIG_PGTABLE_BASE - The (physical) base address of the pre-initialized -# read-only page table vector. This must be provided if CONFIG_ARM_ROMPGTABLE -# is defined. -# -CONFIG_ARM_LOWVECTORS=n -CONFIG_ARM_ROMPGTABLE=n -#CONFIG_PGTABLE_BASE= +# CONFIG_ARCH_ROMPGTABLE - A pre-initialized, read-only page table is available. +# If defined, then board-specific logic must also define PGTABLE_BASE_PADDR, +# PGTABLE_BASE_VADDR, and all memory section mapping, possibly in board.h +# +CONFIG_ARCH_LOWVECTORS=n +CONFIG_ARCH_ROMPGTABLE=n # # DM320 specific device driver settings diff --git a/nuttx/configs/ntosd-dm320/udp/defconfig b/nuttx/configs/ntosd-dm320/udp/defconfig index ffea2b946..4ed686bc9 100644 --- a/nuttx/configs/ntosd-dm320/udp/defconfig +++ b/nuttx/configs/ntosd-dm320/udp/defconfig @@ -76,17 +76,14 @@ CONFIG_ARCH_STACKDUMP=n # # ARM-specific configuration # -# CONFIG_ARM_LOWVECTORS - define if vectors reside at address 0x0000:00000 +# CONFIG_ARCH_LOWVECTORS - define if vectors reside at address 0x0000:00000 # Undefine if vectors reside at address 0xffff:0000 -# CONFIG_ARM_ROMPGTABLE - A pre-initialized, read-only page table is available -# CONFIG_PGTABLE_BASE must also be defined in this case. -# CONFIG_PGTABLE_BASE - The (physical) base address of the pre-initialized -# read-only page table vector. This must be provided if CONFIG_ARM_ROMPGTABLE -# is defined. -# -CONFIG_ARM_LOWVECTORS=n -CONFIG_ARM_ROMPGTABLE=n -#CONFIG_PGTABLE_BASE= +# CONFIG_ARCH_ROMPGTABLE - A pre-initialized, read-only page table is available. +# If defined, then board-specific logic must also define PGTABLE_BASE_PADDR, +# PGTABLE_BASE_VADDR, and all memory section mapping, possibly in board.h +# +CONFIG_ARCH_LOWVECTORS=n +CONFIG_ARCH_ROMPGTABLE=n # # DM320 specific device driver settings diff --git a/nuttx/configs/ntosd-dm320/uip/defconfig b/nuttx/configs/ntosd-dm320/uip/defconfig index 288a65f0e..13903db60 100644 --- a/nuttx/configs/ntosd-dm320/uip/defconfig +++ b/nuttx/configs/ntosd-dm320/uip/defconfig @@ -76,17 +76,14 @@ CONFIG_ARCH_STACKDUMP=n # # ARM-specific configuration # -# CONFIG_ARM_LOWVECTORS - define if vectors reside at address 0x0000:00000 +# CONFIG_ARCH_LOWVECTORS - define if vectors reside at address 0x0000:00000 # Undefine if vectors reside at address 0xffff:0000 -# CONFIG_ARM_ROMPGTABLE - A pre-initialized, read-only page table is available -# CONFIG_PGTABLE_BASE must also be defined in this case. -# CONFIG_PGTABLE_BASE - The (physical) base address of the pre-initialized -# read-only page table vector. This must be provided if CONFIG_ARM_ROMPGTABLE -# is defined. -# -CONFIG_ARM_LOWVECTORS=n -CONFIG_ARM_ROMPGTABLE=n -#CONFIG_PGTABLE_BASE= +# CONFIG_ARCH_ROMPGTABLE - A pre-initialized, read-only page table is available. +# If defined, then board-specific logic must also define PGTABLE_BASE_PADDR, +# PGTABLE_BASE_VADDR, and all memory section mapping, possibly in board.h +# +CONFIG_ARCH_LOWVECTORS=n +CONFIG_ARCH_ROMPGTABLE=n # # DM320 specific device driver settings |