Refresh all configurations that have MMUs

1 files changed, 40 insertions, 6 deletions

diff --git a/nuttx/configs/sama5d4-ek/at25boot/defconfig b/nuttx/configs/sama5d4-ek/at25boot/defconfig
index fde7df727..e1c282381 100644
--- a/nuttx/configs/sama5d4-ek/at25boot/defconfig
+++ b/nuttx/configs/sama5d4-ek/at25boot/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
@@ -112,6 +112,12 @@ CONFIG_ARCH_LOWVECTORS=y
 #
 # ARMv7-A Configuration Options
 #
+CONFIG_ARMV7A_HAVE_L2CC=y
+CONFIG_ARMV7A_HAVE_L2CC_PL310=y
+
+#
+# L2 Cache Configuration
+#
 # CONFIG_ARMV7A_TOOLCHAIN_BUILDROOT is not set
 CONFIG_ARMV7A_TOOLCHAIN_CODESOURCERYW=y
 # CONFIG_ARMV7A_TOOLCHAIN_DEVKITARM is not set
@@ -133,7 +139,6 @@ CONFIG_SAMA5_HAVE_USART4=y
 # CONFIG_SAMA5_HAVE_DMA is not set
 CONFIG_SAMA5_HAVE_DDR32=y
 CONFIG_SAMA5_HAVE_XDMA=y
-CONFIG_SAMA5_HAVE_L2CC=y
 CONFIG_SAMA5_HAVE_LCDC=y
 # CONFIG_SAMA5_HAVE_GMAC is not set
 # CONFIG_SAMA5_HAVE_EMACA is not set
@@ -144,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
@@ -168,7 +174,6 @@ CONFIG_ARCH_CHIP_ATSAMA5D44=y
 # CONFIG_SAMA5_TDES is not set
 # CONFIG_SAMA5_AESB is not set
 # CONFIG_SAMA5_DBGU is not set
-# CONFIG_SAMA5_L2CC is not set
 # CONFIG_SAMA5_PIT is not set
 # CONFIG_SAMA5_WDT is not set
 # CONFIG_SAMA5_RTC is not set
@@ -250,12 +255,18 @@ CONFIG_SAMA5_DDRCS_HEAP_SIZE=0
 # CONFIG_ARCH_VECNOTIRQ is not set
 # 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
@@ -314,6 +325,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
@@ -325,6 +337,7 @@ CONFIG_SAMA5D4EK_AT25_PROGSIZE=131072
 CONFIG_SAMA5D4EK_AT25_BLOCKMOUNT=y
 # CONFIG_SAMA5D4EK_AT25_FTL is not set
 CONFIG_SAMA5D4EK_AT25_CHARDEV=y
+# CONFIG_SAMA5D4EK_SLOWCLOCK is not set
 
 #
 # RTOS Features
@@ -339,6 +352,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
@@ -348,6 +363,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
 
 #
@@ -414,6 +430,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
@@ -422,11 +439,17 @@ CONFIG_DISABLE_POLL=y
 CONFIG_DEV_NULL=y
 # CONFIG_DEV_ZERO is not set
 # CONFIG_LOOP is not set
+
+#
+# Buffering
+#
+# CONFIG_DRVR_WRITEBUFFER is not set
+# CONFIG_DRVR_READAHEAD is not set
 # CONFIG_RAMDISK is not set
 # CONFIG_CAN is not set
 # CONFIG_ARCH_HAVE_PWM_PULSECOUNT is not set
 # CONFIG_PWM is not set
-# CONFIG_ARCH_HAVE_I2CRESET is not set
+CONFIG_ARCH_HAVE_I2CRESET=y
 # CONFIG_I2C is not set
 CONFIG_SPI=y
 # CONFIG_SPI_OWNBUS is not set
@@ -453,7 +476,6 @@ CONFIG_MTD=y
 # CONFIG_MTD_SECT512 is not set
 # CONFIG_MTD_BYTE_WRITE is not set
 # CONFIG_MTD_CONFIG is not set
-# CONFIG_MTD_CONFIG_RAM_CONSOLIDATE is not set
 
 #
 # MTD Device Drivers
@@ -545,6 +567,11 @@ CONFIG_USART3_2STOP=0
 # CONFIG_NET is not set
 
 #
+# Crypto API
+#
+# CONFIG_CRYPTO is not set
+
+#
 # File Systems
 #
 
@@ -552,6 +579,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
@@ -587,6 +615,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
@@ -842,6 +871,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