Refresh all configurations that have MMUs

1 files changed, 21 insertions, 2 deletions

diff --git a/nuttx/configs/sama5d4-ek/dramboot/defconfig b/nuttx/configs/sama5d4-ek/dramboot/defconfig
index 0ec341f61..b8f29f6b6 100644
--- a/nuttx/configs/sama5d4-ek/dramboot/defconfig
+++ b/nuttx/configs/sama5d4-ek/dramboot/defconfig
@@ -21,6 +21,7 @@ CONFIG_WINDOWS_CYGWIN=y
 # Build Configuration
 #
 # CONFIG_APPS_DIR="../apps"
+CONFIG_BUILD_FLAT=y
 # CONFIG_BUILD_2PASS is not set
 
 #
@@ -104,7 +105,6 @@ CONFIG_ARCH_FAMILY="armv7-a"
 CONFIG_ARCH_CHIP="sama5"
 CONFIG_ARCH_HAVE_FPU=y
 CONFIG_ARCH_FPU=y
-# CONFIG_ARCH_HAVE_MPU is not set
 CONFIG_ARCH_HAVE_LOWVECTORS=y
 CONFIG_ARCH_LOWVECTORS=y
 # CONFIG_ARCH_ROMPGTABLE is not set
@@ -149,6 +149,7 @@ CONFIG_SAMA5_HAVE_SAIC=y
 CONFIG_SAMA5_HAVE_SBM=y
 CONFIG_SAMA5_HAVE_SFC=y
 CONFIG_SAMA5_HAVE_SPI2=y
+# CONFIG_SAMA5_HAVE_TC is not set
 CONFIG_SAMA5_HAVE_TC1=y
 CONFIG_SAMA5_HAVE_TC2=y
 CONFIG_SAMA5_HAVE_TRUSTZONE=y
@@ -251,12 +252,17 @@ CONFIG_SAMA5_DDRCS_HEAP_SIZE=0
 # CONFIG_ARCH_DMA is not set
 CONFIG_ARCH_HAVE_IRQPRIO=y
 # CONFIG_ARCH_L2CACHE is not set
+# CONFIG_ARCH_HAVE_COHERENT_DCACHE is not set
 # CONFIG_CUSTOM_STACK is not set
-# CONFIG_ARCH_ADDRENV is not set
+CONFIG_ARCH_HAVE_ADDRENV=y
+CONFIG_ARCH_NEED_ADDRENV_MAPPING=y
 CONFIG_ARCH_HAVE_VFORK=y
 CONFIG_ARCH_HAVE_MMU=y
+# CONFIG_ARCH_HAVE_MPU is not set
 CONFIG_ARCH_NAND_HWECC=y
 # CONFIG_ARCH_HAVE_EXTCLK is not set
+CONFIG_ARCH_USE_MMU=y
+# CONFIG_ARCH_ADDRENV is not set
 # CONFIG_PAGING is not set
 # CONFIG_ARCH_IRQPRIO is not set
 CONFIG_ARCH_STACKDUMP=y
@@ -315,6 +321,7 @@ CONFIG_ARCH_HAVE_IRQBUTTONS=y
 #
 # Board-Specific Options
 #
+CONFIG_SAMA5D4_MB_REVC=y
 # CONFIG_SAMA5D4EK_384MHZ is not set
 # CONFIG_SAMA5D4EK_396MHZ is not set
 CONFIG_SAMA5D4EK_528MHZ=y
@@ -323,6 +330,7 @@ CONFIG_SAMA5D4EK_MT47H128M16RT=y
 CONFIG_SAMA5D4EK_DRAM_MAIN=y
 # CONFIG_SAMA5D4EK_DRAM_START is not set
 # CONFIG_SAMA5D4EK_AT25_MAIN is not set
+# CONFIG_SAMA5D4EK_SLOWCLOCK is not set
 
 #
 # RTOS Features
@@ -337,6 +345,8 @@ CONFIG_DISABLE_ENVIRON=y
 #
 # Clocks and Timers
 #
+CONFIG_ARCH_HAVE_TICKLESS=y
+# CONFIG_SCHED_TICKLESS is not set
 CONFIG_USEC_PER_TICK=10000
 # CONFIG_SYSTEM_TIME64 is not set
 # CONFIG_CLOCK_MONOTONIC is not set
@@ -346,6 +356,7 @@ CONFIG_START_MONTH=7
 CONFIG_START_DAY=31
 CONFIG_MAX_WDOGPARMS=2
 CONFIG_PREALLOC_WDOGS=16
+CONFIG_WDOG_INTRESERVE=2
 CONFIG_PREALLOC_TIMERS=4
 
 #
@@ -412,6 +423,7 @@ CONFIG_IDLETHREAD_STACKSIZE=1024
 CONFIG_USERMAIN_STACKSIZE=2048
 CONFIG_PTHREAD_STACK_MIN=256
 CONFIG_PTHREAD_STACK_DEFAULT=2048
+# CONFIG_LIB_SYSCALL is not set
 
 #
 # Device Drivers
@@ -530,6 +542,7 @@ CONFIG_USART3_2STOP=0
 # File system configuration
 #
 # CONFIG_DISABLE_MOUNTPOINT is not set
+# CONFIG_FS_AUTOMOUNTER is not set
 # CONFIG_DISABLE_PSEUDOFS_OPERATIONS is not set
 CONFIG_FS_READABLE=y
 CONFIG_FS_WRITABLE=y
@@ -565,6 +578,7 @@ CONFIG_FAT_MAXFNAME=32
 CONFIG_MM_REGIONS=1
 # CONFIG_ARCH_HAVE_HEAP2 is not set
 # CONFIG_GRAN is not set
+# CONFIG_MM_PGALLOC is not set
 
 #
 # Audio Support
@@ -820,6 +834,11 @@ CONFIG_READLINE_ECHO=y
 # CONFIG_SYSTEM_SDCARD is not set
 
 #
+# Sudoku
+#
+# CONFIG_SYSTEM_SUDOKU is not set
+
+#
 # Sysinfo
 #
 # CONFIG_SYSTEM_SYSINFO is not set