Costmetic: Update TODO list, README files, refreshed configuration, updated comments

configs/sama5d4-ek/README.txt

@@ -560,8 +560,8 @@ Running NuttX from SDRAM
   advance but instead has to be calculated from the bootloader PLL configuration.
   See the TODO list at the end of this file for further information.
 
-NuttX Configuration
+  NuttX Configuration
--------------------
+  -------------------
 
   In order to run from SDRAM, NuttX must be built at origin 0x20008000 in
   SDRAM (skipping over SDRAM memory used by the bootloader).  The following
@@ -577,8 +577,8 @@ NuttX Configuration
   SDRAM.  Since NuttX is already running from SDRAM, it must accept the SDRAM
   configuration as set up by the bootloader.
 
-Boot sequence
+  Boot sequence
--------------
+  -------------
 
   Reference: http://www.at91.com/linux4sam/bin/view/Linux4SAM/GettingStarted
 
@@ -606,8 +606,8 @@ Boot sequence
 
    4. Then NuttX runs from SDRAM
 
-NAND FLASH Memory Map
+  NAND FLASH Memory Map
----------------------
+  ---------------------
 
   Reference: http://www.at91.com/linux4sam/bin/view/Linux4SAM/GettingStarted
 
@@ -619,8 +619,8 @@ NAND FLASH Memory Map
   0x0020:0000 - 0x007f:ffff: NuttX
   0x0080:0000 - end:         Available for use as a NAND file system
 
-Programming the AT91Boostrap Binary
+  Programming the AT91Boostrap Binary
------------------------------------
+  -----------------------------------
 
   Reference: http://www.at91.com/linux4sam/bin/view/Linux4SAM/AT91Bootstrap
 
@@ -664,8 +664,8 @@ Programming the AT91Boostrap Binary
      at91bootstrap binary file and to program the binary to the NandFlash.
    - Close SAM-BA, remove the USB Device cable.
 
-Programming U-Boot
+  Programming U-Boot
--------------------
+  -------------------
 
   Reference http://www.at91.com/linux4sam/bin/view/Linux4SAM/U-Boot
 
@@ -709,8 +709,8 @@ Programming U-Boot
 
   You should now be able to interrupt with U-Boot vie the DBGU interface.
 
-Load NuttX with U-Boot on AT91 boards
+  Load NuttX with U-Boot on AT91 boards
--------------------------------------
+  -------------------------------------
 
   Reference http://www.at91.com/linux4sam/bin/view/Linux4SAM/U-Boot
 
@@ -3005,7 +3005,7 @@ TM7000 LCD/Touchscreen
     CONFIG_NX_DISABLE_32BPP=y
 
     Graphics Support -> Input Devices ->
-    CONFIG_NX_XYINPUT=y                      : Build in mouse/touchscreen support (not used)
+    CONFIG_NX_XYINPUT=y                    : Build in mouse/touchscreen support (not used)
     CONFIG_NX_KBD=y                        : Build in keyboard support (not used)
 
     Graphics Support -> Framed Window Borders ->

configs/sama5d4-ek/nxwm/defconfig

@@ -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
@@ -139,7 +145,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
@@ -174,7 +179,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=y
@@ -341,6 +345,7 @@ CONFIG_SAMA5_DDRCS_HEAP_END=0x2fa00000
 # CONFIG_ARCH_VECNOTIRQ is not set
 CONFIG_ARCH_DMA=y
 CONFIG_ARCH_HAVE_IRQPRIO=y
+# CONFIG_ARCH_L2CACHE is not set
 # CONFIG_CUSTOM_STACK is not set
 # CONFIG_ADDRENV is not set
 CONFIG_ARCH_HAVE_VFORK=y
@@ -407,10 +412,12 @@ CONFIG_NSH_MMCSDSLOTNO=0
 #
 # Board-Specific Options
 #
+CONFIG_SAMA5D4_MB_REVC=y
 # CONFIG_SAMA5D4EK_384MHZ is not set
 # CONFIG_SAMA5D4EK_396MHZ is not set
 CONFIG_SAMA5D4EK_528MHZ=y
 CONFIG_SAMA5D4EK_DRAM_BOOT=y
+CONFIG_SAMA5D4EK_HSMCI0_AUTOMOUNT=y
 CONFIG_SAMA5D4EK_HSMCI0_AUTOMOUNT_FSTYPE="vfat"
 CONFIG_SAMA5D4EK_HSMCI0_AUTOMOUNT_BLKDEV="/dev/mmcsd0"
 CONFIG_SAMA5D4EK_HSMCI0_AUTOMOUNT_MOUNTPOINT="/mnt/sdcard"