diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-30 07:51:13 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-30 07:51:13 -0600 |
commit | cc979cd1168fdfe0a3ba5219283a7619a32a27dc (patch) | |
tree | 52bd0a47342fa60319992bd9a2ececdcd936b062 /nuttx/configs/sama5d4-ek/at25boot | |
parent | 5b7e420140fbfd605a4b58b7bbe70554cca1df40 (diff) | |
download | px4-nuttx-cc979cd1168fdfe0a3ba5219283a7619a32a27dc.tar.gz px4-nuttx-cc979cd1168fdfe0a3ba5219283a7619a32a27dc.tar.bz2 px4-nuttx-cc979cd1168fdfe0a3ba5219283a7619a32a27dc.zip |
Refresh all configurations that have MMUs
Diffstat (limited to 'nuttx/configs/sama5d4-ek/at25boot')
-rw-r--r-- | nuttx/configs/sama5d4-ek/at25boot/defconfig | 46 |
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 |