Refresh all configurations that have MMUs

8 files changed, 377 insertions, 73 deletions

diff --git a/nuttx/configs/sama5d3x-ek/demo/defconfig b/nuttx/configs/sama5d3x-ek/demo/defconfig
index be6a471ca..d140b53af 100644
--- a/nuttx/configs/sama5d3x-ek/demo/defconfig
+++ b/nuttx/configs/sama5d3x-ek/demo/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,12 +112,15 @@ CONFIG_ARCH_LOWVECTORS=y
 #
 # ARMv7-A Configuration Options
 #
+# CONFIG_ARMV7A_HAVE_L2CC is not set
+# CONFIG_ARMV7A_HAVE_L2CC_PL310 is not set
 # CONFIG_ARMV7A_TOOLCHAIN_BUILDROOT is not set
 CONFIG_ARMV7A_TOOLCHAIN_CODESOURCERYW=y
 # CONFIG_ARMV7A_TOOLCHAIN_DEVKITARM is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_EABIL is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_EABIW is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_OABI is not set
+# CONFIG_ARMV7A_DECODEFIQ is not set
 CONFIG_SDIO_DMA=y
 # CONFIG_SDIO_WIDTH_D1_ONLY is not set
 # CONFIG_USBHOST_BULK_DISABLE is not set
@@ -137,7 +140,6 @@ CONFIG_USBHOST_ISOC_DISABLE=y
 CONFIG_SAMA5_HAVE_DMA=y
 # CONFIG_SAMA5_HAVE_DDR32 is not set
 # CONFIG_SAMA5_HAVE_XDMA is not set
-# CONFIG_SAMA5_HAVE_L2CC is not set
 CONFIG_SAMA5_HAVE_LCDC=y
 CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_EMACA is not set
@@ -148,8 +150,10 @@ CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_SBM is not set
 # CONFIG_SAMA5_HAVE_SFC is not set
 # CONFIG_SAMA5_HAVE_SPI2 is not set
+# CONFIG_SAMA5_HAVE_TC is not set
 # CONFIG_SAMA5_HAVE_TC1 is not set
 # CONFIG_SAMA5_HAVE_TC2 is not set
+# CONFIG_SAMA5_HAVE_TRUSTZONE is not set
 # CONFIG_SAMA5_HAVE_TWI3 is not set
 # CONFIG_SAMA5_HAVE_VDEC is not set
 CONFIG_ARCH_CHIP_SAMA5D3=y
@@ -284,12 +288,18 @@ CONFIG_SAMA5_DDRCS_HEAP_SIZE=268435456
 # CONFIG_ARCH_VECNOTIRQ is not set
 CONFIG_ARCH_DMA=y
 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
@@ -362,6 +372,7 @@ CONFIG_SAMA5D3xEK_MT47H128M16RT=y
 # CONFIG_SAMA5D3xEK_NOREDLED is not set
 CONFIG_SAMA5D3xEK_AT25_BLOCKMOUNT=y
 CONFIG_SAMA5D3xEK_AT25_FTL=y
+# CONFIG_SAMA5D3xEK_SLOWCLOCK is not set
 
 #
 # RTOS Features
@@ -376,12 +387,15 @@ 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
 # CONFIG_JULIAN_TIME is not set
 CONFIG_MAX_WDOGPARMS=2
 CONFIG_PREALLOC_WDOGS=16
+CONFIG_WDOG_INTRESERVE=2
 CONFIG_PREALLOC_TIMERS=4
 
 #
@@ -449,6 +463,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
@@ -459,11 +474,17 @@ CONFIG_DEV_NULL=y
 CONFIG_ARCH_HAVE_RNG=y
 CONFIG_DEV_RANDOM=y
 # 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
@@ -503,7 +524,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
@@ -643,6 +663,11 @@ CONFIG_HIDKBD_BUFSIZE=64
 # CONFIG_NET is not set
 
 #
+# Crypto API
+#
+# CONFIG_CRYPTO is not set
+
+#
 # File Systems
 #
 
@@ -650,6 +675,7 @@ CONFIG_HIDKBD_BUFSIZE=64
 # 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
@@ -685,6 +711,7 @@ CONFIG_FAT_MAXFNAME=32
 CONFIG_MM_REGIONS=2
 # CONFIG_ARCH_HAVE_HEAP2 is not set
 # CONFIG_GRAN is not set
+# CONFIG_MM_PGALLOC is not set
 
 #
 # Audio Support
@@ -859,8 +886,20 @@ CONFIG_EXAMPLES_NSH_CXXINITIALIZE=y
 # NSH Library
 #
 CONFIG_NSH_LIBRARY=y
+
+#
+# Command Line Configuration
+#
 CONFIG_NSH_READLINE=y
 # CONFIG_NSH_CLE is not set
+CONFIG_NSH_LINELEN=80
+# CONFIG_NSH_DISABLE_SEMICOLON is not set
+CONFIG_NSH_CMDPARMS=y
+CONFIG_NSH_TMPDIR="/tmp"
+CONFIG_NSH_MAXARGUMENTS=6
+CONFIG_NSH_ARGCAT=y
+CONFIG_NSH_NESTDEPTH=3
+# CONFIG_NSH_DISABLEBG is not set
 CONFIG_NSH_BUILTIN_APPS=y
 
 #
@@ -915,24 +954,20 @@ CONFIG_NSH_BUILTIN_APPS=y
 CONFIG_NSH_CODECS_BUFSIZE=128
 CONFIG_NSH_CMDOPT_HEXDUMP=y
 CONFIG_NSH_FILEIOSIZE=512
-CONFIG_NSH_LINELEN=80
-# CONFIG_NSH_DISABLE_SEMICOLON is not set
-CONFIG_NSH_CMDPARMS=y
-CONFIG_NSH_TMPDIR="/tmp"
-CONFIG_NSH_MAXARGUMENTS=6
-CONFIG_NSH_ARGCAT=y
-CONFIG_NSH_NESTDEPTH=3
+
+#
+# Scripting Support
+#
 # CONFIG_NSH_DISABLESCRIPT is not set
 # CONFIG_NSH_DISABLE_ITEF is not set
 # CONFIG_NSH_DISABLE_LOOPS is not set
-# CONFIG_NSH_DISABLEBG is not set
-CONFIG_NSH_CONSOLE=y
-# CONFIG_NSH_USBCONSOLE is not set
 
 #
-# USB Trace Support
+# Console Configuration
 #
+CONFIG_NSH_CONSOLE=y
 # CONFIG_NSH_ALTCONDEV is not set
+# CONFIG_NSH_USBKBD is not set
 CONFIG_NSH_ARCHINIT=y
 
 #
@@ -969,6 +1004,11 @@ CONFIG_NSH_ARCHINIT=y
 # CONFIG_SYSTEM_FLASH_ERASEALL is not set
 
 #
+# Intel HEX to binary conversion
+#
+# CONFIG_SYSTEM_HEX2BIN is not set
+
+#
 # I2C tool
 #
 
@@ -998,6 +1038,10 @@ CONFIG_READLINE_ECHO=y
 #
 
 #
+# PHY Tool
+#
+
+#
 # Power Off
 #
 # CONFIG_SYSTEM_POWEROFF is not set
@@ -1013,6 +1057,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
diff --git a/nuttx/configs/sama5d3x-ek/hello/defconfig b/nuttx/configs/sama5d3x-ek/hello/defconfig
index a2ca74f65..117bbc2b9 100644
--- a/nuttx/configs/sama5d3x-ek/hello/defconfig
+++ b/nuttx/configs/sama5d3x-ek/hello/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,12 +112,15 @@ CONFIG_ARCH_LOWVECTORS=y
 #
 # ARMv7-A Configuration Options
 #
+# CONFIG_ARMV7A_HAVE_L2CC is not set
+# CONFIG_ARMV7A_HAVE_L2CC_PL310 is not set
 # CONFIG_ARMV7A_TOOLCHAIN_BUILDROOT is not set
 CONFIG_ARMV7A_TOOLCHAIN_CODESOURCERYW=y
 # CONFIG_ARMV7A_TOOLCHAIN_DEVKITARM is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_EABIL is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_EABIW is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_OABI is not set
+# CONFIG_ARMV7A_DECODEFIQ is not set
 
 #
 # SAMA5 Configuration Options
@@ -132,7 +135,6 @@ CONFIG_ARMV7A_TOOLCHAIN_CODESOURCERYW=y
 CONFIG_SAMA5_HAVE_DMA=y
 # CONFIG_SAMA5_HAVE_DDR32 is not set
 # CONFIG_SAMA5_HAVE_XDMA is not set
-# CONFIG_SAMA5_HAVE_L2CC is not set
 CONFIG_SAMA5_HAVE_LCDC=y
 CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_EMACA is not set
@@ -143,8 +145,10 @@ CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_SBM is not set
 # CONFIG_SAMA5_HAVE_SFC is not set
 # CONFIG_SAMA5_HAVE_SPI2 is not set
+# CONFIG_SAMA5_HAVE_TC is not set
 # CONFIG_SAMA5_HAVE_TC1 is not set
 # CONFIG_SAMA5_HAVE_TC2 is not set
+# CONFIG_SAMA5_HAVE_TRUSTZONE is not set
 # CONFIG_SAMA5_HAVE_TWI3 is not set
 # CONFIG_SAMA5_HAVE_VDEC is not set
 CONFIG_ARCH_CHIP_SAMA5D3=y
@@ -218,12 +222,18 @@ CONFIG_SAMA5_BOOT_ISRAM=y
 # 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
@@ -286,6 +296,7 @@ CONFIG_SAMA5D3xEK_396MHZ=y
 # CONFIG_SAMA5D3xEK_528MHZ is not set
 # CONFIG_SAMA5D3xEK_NOREDLED is not set
 # CONFIG_SAMA5D3xEK_NOR_MAIN is not set
+# CONFIG_SAMA5D3xEK_SLOWCLOCK is not set
 
 #
 # RTOS Features
@@ -300,6 +311,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
@@ -309,6 +322,7 @@ CONFIG_START_MONTH=7
 CONFIG_START_DAY=26
 CONFIG_MAX_WDOGPARMS=2
 CONFIG_PREALLOC_WDOGS=4
+CONFIG_WDOG_INTRESERVE=0
 CONFIG_PREALLOC_TIMERS=4
 
 #
@@ -375,6 +389,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
@@ -383,11 +398,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 is not set
 # CONFIG_I2S is not set
@@ -474,6 +495,11 @@ CONFIG_USART1_2STOP=0
 # CONFIG_NET is not set
 
 #
+# Crypto API
+#
+# CONFIG_CRYPTO is not set
+
+#
 # File Systems
 #
 
@@ -506,6 +532,7 @@ CONFIG_DISABLE_MOUNTPOINT=y
 CONFIG_MM_REGIONS=1
 # CONFIG_ARCH_HAVE_HEAP2 is not set
 # CONFIG_GRAN is not set
+# CONFIG_MM_PGALLOC is not set
 
 #
 # Audio Support
@@ -698,6 +725,11 @@ CONFIG_EXAMPLES_HELLO=y
 #
 
 #
+# Intel HEX to binary conversion
+#
+# CONFIG_SYSTEM_HEX2BIN is not set
+
+#
 # I2C tool
 #
 
@@ -726,6 +758,10 @@ CONFIG_EXAMPLES_HELLO=y
 #
 
 #
+# PHY Tool
+#
+
+#
 # Power Off
 #
 # CONFIG_SYSTEM_POWEROFF is not set
@@ -741,6 +777,11 @@ CONFIG_EXAMPLES_HELLO=y
 # CONFIG_SYSTEM_SDCARD is not set
 
 #
+# Sudoku
+#
+# CONFIG_SYSTEM_SUDOKU is not set
+
+#
 # Sysinfo
 #
 # CONFIG_SYSTEM_SYSINFO is not set
diff --git a/nuttx/configs/sama5d3x-ek/norboot/defconfig b/nuttx/configs/sama5d3x-ek/norboot/defconfig
index 8d2085068..9c2a486a1 100644
--- a/nuttx/configs/sama5d3x-ek/norboot/defconfig
+++ b/nuttx/configs/sama5d3x-ek/norboot/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,12 +112,15 @@ CONFIG_ARCH_LOWVECTORS=y
 #
 # ARMv7-A Configuration Options
 #
+# CONFIG_ARMV7A_HAVE_L2CC is not set
+# CONFIG_ARMV7A_HAVE_L2CC_PL310 is not set
 # CONFIG_ARMV7A_TOOLCHAIN_BUILDROOT is not set
 CONFIG_ARMV7A_TOOLCHAIN_CODESOURCERYW=y
 # CONFIG_ARMV7A_TOOLCHAIN_DEVKITARM is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_EABIL is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_EABIW is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_OABI is not set
+# CONFIG_ARMV7A_DECODEFIQ is not set
 
 #
 # SAMA5 Configuration Options
@@ -132,7 +135,6 @@ CONFIG_ARMV7A_TOOLCHAIN_CODESOURCERYW=y
 CONFIG_SAMA5_HAVE_DMA=y
 # CONFIG_SAMA5_HAVE_DDR32 is not set
 # CONFIG_SAMA5_HAVE_XDMA is not set
-# CONFIG_SAMA5_HAVE_L2CC is not set
 CONFIG_SAMA5_HAVE_LCDC=y
 CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_EMACA is not set
@@ -143,8 +145,10 @@ CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_SBM is not set
 # CONFIG_SAMA5_HAVE_SFC is not set
 # CONFIG_SAMA5_HAVE_SPI2 is not set
+# CONFIG_SAMA5_HAVE_TC is not set
 # CONFIG_SAMA5_HAVE_TC1 is not set
 # CONFIG_SAMA5_HAVE_TC2 is not set
+# CONFIG_SAMA5_HAVE_TRUSTZONE is not set
 # CONFIG_SAMA5_HAVE_TWI3 is not set
 # CONFIG_SAMA5_HAVE_VDEC is not set
 CONFIG_ARCH_CHIP_SAMA5D3=y
@@ -231,12 +235,18 @@ CONFIG_SAMA5_BOOT_ISRAM=y
 # 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
@@ -300,6 +310,7 @@ CONFIG_SAMA5D3xEK_396MHZ=y
 # CONFIG_SAMA5D3xEK_NOREDLED is not set
 CONFIG_SAMA5D3xEK_NOR_MAIN=y
 # CONFIG_SAMA5D3xEK_NOR_START is not set
+# CONFIG_SAMA5D3xEK_SLOWCLOCK is not set
 
 #
 # RTOS Features
@@ -314,6 +325,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
@@ -323,6 +336,7 @@ CONFIG_START_MONTH=7
 CONFIG_START_DAY=29
 CONFIG_MAX_WDOGPARMS=2
 CONFIG_PREALLOC_WDOGS=4
+CONFIG_WDOG_INTRESERVE=0
 CONFIG_PREALLOC_TIMERS=4
 
 #
@@ -389,6 +403,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
@@ -397,11 +412,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 is not set
 # CONFIG_I2S is not set
@@ -488,6 +509,11 @@ CONFIG_USART1_2STOP=0
 # CONFIG_NET is not set
 
 #
+# Crypto API
+#
+# CONFIG_CRYPTO is not set
+
+#
 # File Systems
 #
 
@@ -520,6 +546,7 @@ CONFIG_DISABLE_MOUNTPOINT=y
 CONFIG_MM_REGIONS=1
 # CONFIG_ARCH_HAVE_HEAP2 is not set
 # CONFIG_GRAN is not set
+# CONFIG_MM_PGALLOC is not set
 
 #
 # Audio Support
@@ -712,6 +739,11 @@ CONFIG_EXAMPLES_HELLO=y
 #
 
 #
+# Intel HEX to binary conversion
+#
+# CONFIG_SYSTEM_HEX2BIN is not set
+
+#
 # I2C tool
 #
 
@@ -740,6 +772,10 @@ CONFIG_EXAMPLES_HELLO=y
 #
 
 #
+# PHY Tool
+#
+
+#
 # Power Off
 #
 # CONFIG_SYSTEM_POWEROFF is not set
@@ -755,6 +791,11 @@ CONFIG_EXAMPLES_HELLO=y
 # CONFIG_SYSTEM_SDCARD is not set
 
 #
+# Sudoku
+#
+# CONFIG_SYSTEM_SUDOKU is not set
+
+#
 # Sysinfo
 #
 # CONFIG_SYSTEM_SYSINFO is not set
diff --git a/nuttx/configs/sama5d3x-ek/nsh/defconfig b/nuttx/configs/sama5d3x-ek/nsh/defconfig
index 9f3bb391e..fb588baf7 100644
--- a/nuttx/configs/sama5d3x-ek/nsh/defconfig
+++ b/nuttx/configs/sama5d3x-ek/nsh/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
@@ -145,6 +145,7 @@ CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_SBM is not set
 # CONFIG_SAMA5_HAVE_SFC is not set
 # CONFIG_SAMA5_HAVE_SPI2 is not set
+# CONFIG_SAMA5_HAVE_TC is not set
 # CONFIG_SAMA5_HAVE_TC1 is not set
 # CONFIG_SAMA5_HAVE_TC2 is not set
 # CONFIG_SAMA5_HAVE_TRUSTZONE is not set
@@ -236,12 +237,17 @@ CONFIG_SAMA5_ISRAM_HEAP=y
 # 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
@@ -308,6 +314,7 @@ CONFIG_NSH_MMCSDMINOR=0
 CONFIG_SAMA5D3xEK_396MHZ=y
 # CONFIG_SAMA5D3xEK_528MHZ is not set
 # CONFIG_SAMA5D3xEK_NOREDLED is not set
+# CONFIG_SAMA5D3xEK_SLOWCLOCK is not set
 
 #
 # RTOS Features
@@ -322,6 +329,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
@@ -331,6 +340,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
 
 #
@@ -397,6 +407,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
@@ -551,6 +562,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
@@ -719,8 +731,19 @@ CONFIG_EXAMPLES_NSH_CXXINITIALIZE=y
 # NSH Library
 #
 CONFIG_NSH_LIBRARY=y
+
+#
+# Command Line Configuration
+#
 CONFIG_NSH_READLINE=y
 # CONFIG_NSH_CLE is not set
+CONFIG_NSH_LINELEN=80
+# CONFIG_NSH_DISABLE_SEMICOLON is not set
+# CONFIG_NSH_CMDPARMS is not set
+CONFIG_NSH_MAXARGUMENTS=6
+# CONFIG_NSH_ARGCAT is not set
+CONFIG_NSH_NESTDEPTH=3
+# CONFIG_NSH_DISABLEBG is not set
 CONFIG_NSH_BUILTIN_APPS=y
 
 #
@@ -775,21 +798,18 @@ CONFIG_NSH_BUILTIN_APPS=y
 CONFIG_NSH_CODECS_BUFSIZE=128
 # CONFIG_NSH_CMDOPT_HEXDUMP is not set
 CONFIG_NSH_FILEIOSIZE=512
-CONFIG_NSH_LINELEN=80
-# CONFIG_NSH_DISABLE_SEMICOLON is not set
-# CONFIG_NSH_CMDPARMS is not set
-CONFIG_NSH_MAXARGUMENTS=6
-# CONFIG_NSH_ARGCAT is not set
-CONFIG_NSH_NESTDEPTH=3
+
+#
+# Scripting Support
+#
 # CONFIG_NSH_DISABLESCRIPT is not set
 # CONFIG_NSH_DISABLE_ITEF is not set
 # CONFIG_NSH_DISABLE_LOOPS is not set
-# CONFIG_NSH_DISABLEBG is not set
-CONFIG_NSH_CONSOLE=y
 
 #
-# USB Trace Support
+# Console Configuration
 #
+CONFIG_NSH_CONSOLE=y
 # CONFIG_NSH_ALTCONDEV is not set
 # CONFIG_NSH_ARCHINIT is not set
 
@@ -879,6 +899,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
diff --git a/nuttx/configs/sama5d3x-ek/nx/defconfig b/nuttx/configs/sama5d3x-ek/nx/defconfig
index 5fb8e5753..cd5e7a153 100644
--- a/nuttx/configs/sama5d3x-ek/nx/defconfig
+++ b/nuttx/configs/sama5d3x-ek/nx/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,12 +112,15 @@ CONFIG_ARCH_LOWVECTORS=y
 #
 # ARMv7-A Configuration Options
 #
+# CONFIG_ARMV7A_HAVE_L2CC is not set
+# CONFIG_ARMV7A_HAVE_L2CC_PL310 is not set
 # CONFIG_ARMV7A_TOOLCHAIN_BUILDROOT is not set
 CONFIG_ARMV7A_TOOLCHAIN_CODESOURCERYW=y
 # CONFIG_ARMV7A_TOOLCHAIN_DEVKITARM is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_EABIL is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_EABIW is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_OABI is not set
+# CONFIG_ARMV7A_DECODEFIQ is not set
 
 #
 # SAMA5 Configuration Options
@@ -132,7 +135,6 @@ CONFIG_ARMV7A_TOOLCHAIN_CODESOURCERYW=y
 CONFIG_SAMA5_HAVE_DMA=y
 # CONFIG_SAMA5_HAVE_DDR32 is not set
 # CONFIG_SAMA5_HAVE_XDMA is not set
-# CONFIG_SAMA5_HAVE_L2CC is not set
 CONFIG_SAMA5_HAVE_LCDC=y
 CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_EMACA is not set
@@ -143,8 +145,10 @@ CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_SBM is not set
 # CONFIG_SAMA5_HAVE_SFC is not set
 # CONFIG_SAMA5_HAVE_SPI2 is not set
+# CONFIG_SAMA5_HAVE_TC is not set
 # CONFIG_SAMA5_HAVE_TC1 is not set
 # CONFIG_SAMA5_HAVE_TC2 is not set
+# CONFIG_SAMA5_HAVE_TRUSTZONE is not set
 # CONFIG_SAMA5_HAVE_TWI3 is not set
 # CONFIG_SAMA5_HAVE_VDEC is not set
 CONFIG_ARCH_CHIP_SAMA5D3=y
@@ -271,12 +275,18 @@ CONFIG_SAMA5_DDRCS_HEAP_SIZE=262668288
 # 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
@@ -345,6 +355,7 @@ CONFIG_SAMA5D3xEK_396MHZ=y
 CONFIG_SAMA5D3xEK_MT47H128M16RT=y
 # CONFIG_SAMA5D3xEK_MT47H64M16HR is not set
 # CONFIG_SAMA5D3xEK_NOREDLED is not set
+# CONFIG_SAMA5D3xEK_SLOWCLOCK is not set
 
 #
 # RTOS Features
@@ -359,6 +370,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
@@ -368,6 +381,7 @@ CONFIG_START_MONTH=8
 CONFIG_START_DAY=16
 CONFIG_MAX_WDOGPARMS=2
 CONFIG_PREALLOC_WDOGS=16
+CONFIG_WDOG_INTRESERVE=2
 CONFIG_PREALLOC_TIMERS=4
 
 #
@@ -434,6 +448,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
@@ -442,11 +457,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 is not set
 # CONFIG_I2S is not set
@@ -534,6 +555,11 @@ CONFIG_USART1_2STOP=0
 # CONFIG_NET is not set
 
 #
+# Crypto API
+#
+# CONFIG_CRYPTO is not set
+
+#
 # File Systems
 #
 
@@ -541,6 +567,7 @@ CONFIG_USART1_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 is not set
 # CONFIG_FS_WRITABLE is not set
@@ -563,6 +590,7 @@ CONFIG_USART1_2STOP=0
 #
 CONFIG_NX=y
 CONFIG_NX_NPLANES=1
+CONFIG_NX_BGCOLOR=0x0
 # CONFIG_NX_WRITEONLY is not set
 
 #
@@ -630,6 +658,7 @@ CONFIG_NXFONT_SERIF22X28B=y
 CONFIG_MM_REGIONS=2
 # CONFIG_ARCH_HAVE_HEAP2 is not set
 # CONFIG_GRAN is not set
+# CONFIG_MM_PGALLOC is not set
 
 #
 # Audio Support
@@ -840,6 +869,11 @@ CONFIG_EXAMPLES_NX_TOOLBAR_HEIGHT=16
 #
 
 #
+# Intel HEX to binary conversion
+#
+# CONFIG_SYSTEM_HEX2BIN is not set
+
+#
 # I2C tool
 #
 
@@ -869,6 +903,10 @@ CONFIG_READLINE_ECHO=y
 #
 
 #
+# PHY Tool
+#
+
+#
 # Power Off
 #
 # CONFIG_SYSTEM_POWEROFF is not set
@@ -884,6 +922,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
diff --git a/nuttx/configs/sama5d3x-ek/nxplayer/defconfig b/nuttx/configs/sama5d3x-ek/nxplayer/defconfig
index a506f6e1c..d834ba4e2 100644
--- a/nuttx/configs/sama5d3x-ek/nxplayer/defconfig
+++ b/nuttx/configs/sama5d3x-ek/nxplayer/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
@@ -147,6 +147,7 @@ CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_SBM is not set
 # CONFIG_SAMA5_HAVE_SFC is not set
 # CONFIG_SAMA5_HAVE_SPI2 is not set
+# CONFIG_SAMA5_HAVE_TC is not set
 # CONFIG_SAMA5_HAVE_TC1 is not set
 # CONFIG_SAMA5_HAVE_TC2 is not set
 # CONFIG_SAMA5_HAVE_TRUSTZONE is not set
@@ -288,12 +289,17 @@ CONFIG_SAMA5_DDRCS_HEAP_SIZE=268435456
 CONFIG_ARCH_DMA=y
 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
@@ -364,6 +370,7 @@ CONFIG_SAMA5D3xEK_528MHZ=y
 CONFIG_SAMA5D3xEK_MT47H128M16RT=y
 # CONFIG_SAMA5D3xEK_MT47H64M16HR is not set
 # CONFIG_SAMA5D3xEK_NOREDLED is not set
+CONFIG_SAMA5D3xEK_SLOWCLOCK=y
 CONFIG_SAMA5D3xEK_WM8904_I2CFREQUENCY=400000
 CONFIG_SAMA5D3xEK_WM8904_SRCMAIN=y
 # CONFIG_SAMA5D3xEK_WM8904_SRCSCK is not set
@@ -381,6 +388,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
@@ -390,6 +399,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
 
 #
@@ -457,6 +467,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
@@ -639,6 +650,7 @@ CONFIG_FAT_MAXFNAME=32
 CONFIG_MM_REGIONS=2
 # CONFIG_ARCH_HAVE_HEAP2 is not set
 # CONFIG_GRAN is not set
+# CONFIG_MM_PGALLOC is not set
 
 #
 # Audio Support
@@ -845,8 +857,19 @@ CONFIG_EXAMPLES_NSH_CXXINITIALIZE=y
 # NSH Library
 #
 CONFIG_NSH_LIBRARY=y
+
+#
+# Command Line Configuration
+#
 CONFIG_NSH_READLINE=y
 # CONFIG_NSH_CLE is not set
+CONFIG_NSH_LINELEN=80
+# CONFIG_NSH_DISABLE_SEMICOLON is not set
+# CONFIG_NSH_CMDPARMS is not set
+CONFIG_NSH_MAXARGUMENTS=6
+# CONFIG_NSH_ARGCAT is not set
+CONFIG_NSH_NESTDEPTH=3
+# CONFIG_NSH_DISABLEBG is not set
 CONFIG_NSH_BUILTIN_APPS=y
 
 #
@@ -901,21 +924,18 @@ CONFIG_NSH_BUILTIN_APPS=y
 CONFIG_NSH_CODECS_BUFSIZE=128
 # CONFIG_NSH_CMDOPT_HEXDUMP is not set
 CONFIG_NSH_FILEIOSIZE=512
-CONFIG_NSH_LINELEN=80
-# CONFIG_NSH_DISABLE_SEMICOLON is not set
-# CONFIG_NSH_CMDPARMS is not set
-CONFIG_NSH_MAXARGUMENTS=6
-# CONFIG_NSH_ARGCAT is not set
-CONFIG_NSH_NESTDEPTH=3
+
+#
+# Scripting Support
+#
 # CONFIG_NSH_DISABLESCRIPT is not set
 # CONFIG_NSH_DISABLE_ITEF is not set
 # CONFIG_NSH_DISABLE_LOOPS is not set
-# CONFIG_NSH_DISABLEBG is not set
-CONFIG_NSH_CONSOLE=y
 
 #
-# USB Trace Support
+# Console Configuration
 #
+CONFIG_NSH_CONSOLE=y
 # CONFIG_NSH_ALTCONDEV is not set
 CONFIG_NSH_ARCHINIT=y
 
@@ -1017,6 +1037,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
diff --git a/nuttx/configs/sama5d3x-ek/nxwm/defconfig b/nuttx/configs/sama5d3x-ek/nxwm/defconfig
index 4804c8a66..eca71a5e9 100644
--- a/nuttx/configs/sama5d3x-ek/nxwm/defconfig
+++ b/nuttx/configs/sama5d3x-ek/nxwm/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,8 @@ CONFIG_ARCH_LOWVECTORS=y
 #
 # ARMv7-A Configuration Options
 #
+# CONFIG_ARMV7A_HAVE_L2CC is not set
+# CONFIG_ARMV7A_HAVE_L2CC_PL310 is not set
 # CONFIG_ARMV7A_TOOLCHAIN_BUILDROOT is not set
 CONFIG_ARMV7A_TOOLCHAIN_CODESOURCERYW=y
 # CONFIG_ARMV7A_TOOLCHAIN_DEVKITARM is not set
@@ -133,7 +135,6 @@ CONFIG_ARMV7A_TOOLCHAIN_CODESOURCERYW=y
 CONFIG_SAMA5_HAVE_DMA=y
 # CONFIG_SAMA5_HAVE_DDR32 is not set
 # CONFIG_SAMA5_HAVE_XDMA is not set
-# CONFIG_SAMA5_HAVE_L2CC is not set
 CONFIG_SAMA5_HAVE_LCDC=y
 CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_EMACA is not set
@@ -144,6 +145,7 @@ CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_SBM is not set
 # CONFIG_SAMA5_HAVE_SFC is not set
 # CONFIG_SAMA5_HAVE_SPI2 is not set
+# CONFIG_SAMA5_HAVE_TC is not set
 # CONFIG_SAMA5_HAVE_TC1 is not set
 # CONFIG_SAMA5_HAVE_TC2 is not set
 # CONFIG_SAMA5_HAVE_TRUSTZONE is not set
@@ -302,12 +304,18 @@ CONFIG_SAMA5_DDRCS_HEAP_SIZE=262668288
 # 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
@@ -378,6 +386,7 @@ CONFIG_SAMA5D3xEK_MT47H128M16RT=y
 # CONFIG_SAMA5D3xEK_MT47H64M16HR is not set
 # CONFIG_SAMA5D3xEK_NOREDLED is not set
 CONFIG_SAMA5D3xEK_TSD_DEVMINOR=0
+# CONFIG_SAMA5D3xEK_SLOWCLOCK is not set
 
 #
 # RTOS Features
@@ -392,6 +401,8 @@ CONFIG_DISABLE_OS_API=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
@@ -401,6 +412,7 @@ CONFIG_START_MONTH=10
 CONFIG_START_DAY=13
 CONFIG_MAX_WDOGPARMS=2
 CONFIG_PREALLOC_WDOGS=32
+CONFIG_WDOG_INTRESERVE=4
 CONFIG_PREALLOC_TIMERS=4
 
 #
@@ -469,6 +481,7 @@ CONFIG_IDLETHREAD_STACKSIZE=1024
 CONFIG_USERMAIN_STACKSIZE=1024
 CONFIG_PTHREAD_STACK_MIN=256
 CONFIG_PTHREAD_STACK_DEFAULT=1024
+# CONFIG_LIB_SYSCALL is not set
 
 #
 # Device Drivers
@@ -505,6 +518,7 @@ CONFIG_ADC_FIFOSIZE=8
 # CONFIG_BCH is not set
 CONFIG_INPUT=y
 # CONFIG_MOUSE is not set
+# CONFIG_INPUT_MAX11802 is not set
 # CONFIG_INPUT_TSC2007 is not set
 # CONFIG_INPUT_ADS7843E is not set
 # CONFIG_INPUT_MXT is not set
@@ -597,6 +611,7 @@ CONFIG_USART1_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 is not set
 # CONFIG_FS_WRITABLE is not set
@@ -708,6 +723,7 @@ CONFIG_NX_MXCLIENTMSGS=16
 CONFIG_MM_REGIONS=2
 # CONFIG_ARCH_HAVE_HEAP2 is not set
 # CONFIG_GRAN is not set
+# CONFIG_MM_PGALLOC is not set
 
 #
 # Audio Support
@@ -750,6 +766,7 @@ CONFIG_TASK_SPAWN_DEFAULT_STACKSIZE=2048
 # CONFIG_LIBC_STRERROR is not set
 # CONFIG_LIBC_PERROR_STDOUT is not set
 CONFIG_ARCH_LOWPUTC=y
+# CONFIG_LIBC_LOCALTIME is not set
 CONFIG_LIB_SENDFILE_BUFSIZE=512
 # CONFIG_ARCH_ROMGETC is not set
 # CONFIG_ARCH_OPTIMIZED_FUNCTIONS is not set
@@ -883,8 +900,20 @@ CONFIG_BUILTIN_PROXY_STACKSIZE=1024
 # NSH Library
 #
 CONFIG_NSH_LIBRARY=y
+
+#
+# Command Line Configuration
+#
 CONFIG_NSH_READLINE=y
 # CONFIG_NSH_CLE is not set
+CONFIG_NSH_LINELEN=64
+# CONFIG_NSH_DISABLE_SEMICOLON is not set
+CONFIG_NSH_CMDPARMS=y
+CONFIG_NSH_TMPDIR="/tmp"
+CONFIG_NSH_MAXARGUMENTS=6
+CONFIG_NSH_ARGCAT=y
+CONFIG_NSH_NESTDEPTH=3
+# CONFIG_NSH_DISABLEBG is not set
 # CONFIG_NSH_BUILTIN_APPS is not set
 
 #
@@ -938,22 +967,18 @@ CONFIG_NSH_READLINE=y
 CONFIG_NSH_CODECS_BUFSIZE=128
 # CONFIG_NSH_CMDOPT_HEXDUMP is not set
 CONFIG_NSH_FILEIOSIZE=512
-CONFIG_NSH_LINELEN=64
-# CONFIG_NSH_DISABLE_SEMICOLON is not set
-CONFIG_NSH_CMDPARMS=y
-CONFIG_NSH_TMPDIR="/tmp"
-CONFIG_NSH_MAXARGUMENTS=6
-CONFIG_NSH_ARGCAT=y
-CONFIG_NSH_NESTDEPTH=3
+
+#
+# Scripting Support
+#
 # CONFIG_NSH_DISABLESCRIPT is not set
 # CONFIG_NSH_DISABLE_ITEF is not set
 # CONFIG_NSH_DISABLE_LOOPS is not set
-# CONFIG_NSH_DISABLEBG is not set
-CONFIG_NSH_CONSOLE=y
 
 #
-# USB Trace Support
+# Console Configuration
 #
+CONFIG_NSH_CONSOLE=y
 # CONFIG_NSH_ALTCONDEV is not set
 CONFIG_NSH_ARCHINIT=y
 
@@ -1005,7 +1030,7 @@ CONFIG_NXWIDGETS_CURSORCONTROL_SIZE=4
 CONFIG_NXWM=y
 
 #
-# NxWM General settings
+# NxWM General Settings
 #
 CONFIG_NXWM_LARGE_ICONS=y
 # CONFIG_NXWM_CUSTOM_FONTID is not set
@@ -1069,6 +1094,10 @@ CONFIG_NXWM_STARTWINDOW_MXMSGS=32
 CONFIG_NXWM_STARTWINDOW_MXMPRIO=42
 CONFIG_NXWM_STARTWINDOW_PRIO=100
 CONFIG_NXWM_STARTWINDOW_STACKSIZE=1596
+
+#
+# NxConsole Window Settings
+#
 CONFIG_NXWM_NXCONSOLE=y
 CONFIG_NXWM_NXCONSOLE_PRIO=100
 CONFIG_NXWM_NXCONSOLE_STACKSIZE=1596
@@ -1083,7 +1112,7 @@ CONFIG_NXWM_NXCONSOLE_FONTID=3
 CONFIG_NXWM_TOUCHSCREEN=y
 
 #
-# Touchscreen device settings
+# Touchscreen Device Settings
 #
 CONFIG_NXWM_TOUCHSCREEN_DEVINIT=y
 CONFIG_NXWM_TOUCHSCREEN_DEVNO=0
@@ -1098,16 +1127,17 @@ CONFIG_NXWM_TOUCHSCREEN_LISTENERSTACK=1596
 CONFIG_NXWM_KEYBOARD=y
 
 #
-# Keyboard device settings
+# Keyboard Device Settings
 #
 CONFIG_NXWM_KEYBOARD_DEVPATH="/dev/console"
+# CONFIG_NXWM_KEYBOARD_USBHOST is not set
 CONFIG_NXWM_KEYBOARD_SIGNO=6
 CONFIG_NXWM_KEYBOARD_BUFSIZE=16
 CONFIG_NXWM_KEYBOARD_LISTENERPRIO=120
 CONFIG_NXWM_KEYBOARD_LISTENERSTACK=1024
 
 #
-# NxWM Calibration display settings
+# NxWM Calibration Display Settings
 #
 CONFIG_NXWM_CALIBRATION_MARGIN=80
 # CONFIG_NXWM_CALIBRATION_CUSTOM_COLORS is not set
@@ -1124,13 +1154,16 @@ CONFIG_NXWM_CALIBRATION_LISTENERPRIO=100
 CONFIG_NXWM_CALIBRATION_LISTENERSTACK=1024
 
 #
-# NxWM Hex Calculator display settings
+# NxWM Hex Calculator Display Settings
 #
 # CONFIG_NXWM_HEXCALCULATOR_CUSTOM_COLORS is not set
 # CONFIG_NXWM_CUSTOM_HEXCALCULATOR_ICON is not set
 CONFIG_NXWM_HEXCALCULATOR_CUSTOM_FONTID=y
 CONFIG_NXWM_HEXCALCULATOR_FONTID=6
-# CONFIG_NXWM_MEDIAPLAYER is not set
+
+#
+# NxWM Media Player Display Settings
+#
 
 #
 # Platform-specific Support
@@ -1214,6 +1247,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
diff --git a/nuttx/configs/sama5d3x-ek/ov2640/defconfig b/nuttx/configs/sama5d3x-ek/ov2640/defconfig
index bf4b525db..d625d4f2d 100644
--- a/nuttx/configs/sama5d3x-ek/ov2640/defconfig
+++ b/nuttx/configs/sama5d3x-ek/ov2640/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,12 +112,15 @@ CONFIG_ARCH_LOWVECTORS=y
 #
 # ARMv7-A Configuration Options
 #
+# CONFIG_ARMV7A_HAVE_L2CC is not set
+# CONFIG_ARMV7A_HAVE_L2CC_PL310 is not set
 # CONFIG_ARMV7A_TOOLCHAIN_BUILDROOT is not set
 CONFIG_ARMV7A_TOOLCHAIN_CODESOURCERYW=y
 # CONFIG_ARMV7A_TOOLCHAIN_DEVKITARM is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_EABIL is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_EABIW is not set
 # CONFIG_ARMV7A_TOOLCHAIN_GNU_OABI is not set
+# CONFIG_ARMV7A_DECODEFIQ is not set
 
 #
 # SAMA5 Configuration Options
@@ -132,7 +135,6 @@ CONFIG_ARMV7A_TOOLCHAIN_CODESOURCERYW=y
 CONFIG_SAMA5_HAVE_DMA=y
 # CONFIG_SAMA5_HAVE_DDR32 is not set
 # CONFIG_SAMA5_HAVE_XDMA is not set
-# CONFIG_SAMA5_HAVE_L2CC is not set
 CONFIG_SAMA5_HAVE_LCDC=y
 CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_EMACA is not set
@@ -143,8 +145,10 @@ CONFIG_SAMA5_HAVE_GMAC=y
 # CONFIG_SAMA5_HAVE_SBM is not set
 # CONFIG_SAMA5_HAVE_SFC is not set
 # CONFIG_SAMA5_HAVE_SPI2 is not set
+# CONFIG_SAMA5_HAVE_TC is not set
 # CONFIG_SAMA5_HAVE_TC1 is not set
 # CONFIG_SAMA5_HAVE_TC2 is not set
+# CONFIG_SAMA5_HAVE_TRUSTZONE is not set
 # CONFIG_SAMA5_HAVE_TWI3 is not set
 # CONFIG_SAMA5_HAVE_VDEC is not set
 CONFIG_ARCH_CHIP_SAMA5D3=y
@@ -276,12 +280,18 @@ CONFIG_SAMA5_DDRCS_HEAP_SIZE=268435456
 # 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
@@ -351,6 +361,7 @@ CONFIG_SAMA5D3xEK_MT47H128M16RT=y
 # CONFIG_SAMA5D3xEK_MT47H64M16HR is not set
 CONFIG_SAMA5D3xEK_NOREDLED=y
 CONFIG_SAMA5D3xEK_OV2640_DEMO=y
+# CONFIG_SAMA5D3xEK_SLOWCLOCK is not set
 
 #
 # RTOS Features
@@ -365,6 +376,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
@@ -374,6 +387,7 @@ CONFIG_START_MONTH=12
 CONFIG_START_DAY=9
 CONFIG_MAX_WDOGPARMS=2
 CONFIG_PREALLOC_WDOGS=4
+CONFIG_WDOG_INTRESERVE=0
 CONFIG_PREALLOC_TIMERS=4
 
 #
@@ -440,6 +454,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
@@ -448,17 +463,24 @@ 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=y
 # CONFIG_I2C_SLAVE is not set
 CONFIG_I2C_TRANSFER=y
 # CONFIG_I2C_WRITEREAD is not set
 # CONFIG_I2C_POLLED is not set
 # CONFIG_I2C_TRACE is not set
+# CONFIG_I2C_RESET is not set
 # CONFIG_SPI is not set
 # CONFIG_I2S is not set
 # CONFIG_RTC is not set
@@ -558,6 +580,11 @@ CONFIG_USART1_2STOP=0
 # CONFIG_NET is not set
 
 #
+# Crypto API
+#
+# CONFIG_CRYPTO is not set
+
+#
 # File Systems
 #
 
@@ -590,6 +617,7 @@ CONFIG_DISABLE_MOUNTPOINT=y
 CONFIG_MM_REGIONS=2
 # CONFIG_ARCH_HAVE_HEAP2 is not set
 # CONFIG_GRAN is not set
+# CONFIG_MM_PGALLOC is not set
 
 #
 # Audio Support
@@ -782,6 +810,11 @@ CONFIG_LIB_SENDFILE_BUFSIZE=512
 #
 
 #
+# Intel HEX to binary conversion
+#
+# CONFIG_SYSTEM_HEX2BIN is not set
+
+#
 # I2C tool
 #
 # CONFIG_SYSTEM_I2CTOOL is not set
@@ -811,6 +844,10 @@ CONFIG_LIB_SENDFILE_BUFSIZE=512
 #
 
 #
+# PHY Tool
+#
+
+#
 # Power Off
 #
 # CONFIG_SYSTEM_POWEROFF is not set
@@ -826,6 +863,11 @@ CONFIG_LIB_SENDFILE_BUFSIZE=512
 # CONFIG_SYSTEM_SDCARD is not set
 
 #
+# Sudoku
+#
+# CONFIG_SYSTEM_SUDOKU is not set
+
+#
 # Sysinfo
 #
 # CONFIG_SYSTEM_SYSINFO is not set