From 660fa0589775b72d52e0d5c1c7b12956797565b2 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Tue, 18 Feb 2014 12:33:00 -0600 Subject: [PATCH] Refresh a defconfig file; updated a README --- configs/stm32f429i-disco/README.txt | 6 +++ configs/stm32f429i-disco/ostest/defconfig | 55 ++++++++++++++++++++--- 2 files changed, 54 insertions(+), 7 deletions(-) diff --git a/configs/stm32f429i-disco/README.txt b/configs/stm32f429i-disco/README.txt index 52d86723a1..7a893839b5 100644 --- a/configs/stm32f429i-disco/README.txt +++ b/configs/stm32f429i-disco/README.txt @@ -891,6 +891,12 @@ Where is one of the following: -CONFIG_EXAMPLES_OSTEST_FPUSIZE=(4*33) + ostest-fpu + ---------- + + This is essentially the same as the as the ostest configuration but + additionally enables the FPU. Contributed by David Alessio. + usbnsh: ------ diff --git a/configs/stm32f429i-disco/ostest/defconfig b/configs/stm32f429i-disco/ostest/defconfig index 4e5c617f86..f76c6ffac9 100644 --- a/configs/stm32f429i-disco/ostest/defconfig +++ b/configs/stm32f429i-disco/ostest/defconfig @@ -16,7 +16,7 @@ CONFIG_HOST_LINUX=y # # Build Configuration # -CONFIG_APPS_DIR="../apps" +# CONFIG_APPS_DIR="../apps" # CONFIG_BUILD_2PASS is not set # @@ -64,6 +64,10 @@ CONFIG_ARCH_HAVE_HEAPCHECK=y # CONFIG_DEBUG_GPIO is not set # CONFIG_DEBUG_AUDIO is not set # CONFIG_DEBUG_SYMBOLS is not set +CONFIG_ARCH_HAVE_CUSTOMOPT=y +# CONFIG_DEBUG_NOOPT is not set +# CONFIG_DEBUG_CUSTOMOPT is not set +CONFIG_DEBUG_FULLOPT=y # # System Type @@ -84,6 +88,7 @@ CONFIG_ARCH="arm" # # ARM Options # +# CONFIG_ARCH_CHIP_A1X is not set # CONFIG_ARCH_CHIP_C5471 is not set # CONFIG_ARCH_CHIP_CALYPSO is not set # CONFIG_ARCH_CHIP_DM320 is not set @@ -98,6 +103,7 @@ CONFIG_ARCH="arm" # CONFIG_ARCH_CHIP_LPC43XX is not set # CONFIG_ARCH_CHIP_NUC1XX is not set # CONFIG_ARCH_CHIP_SAMA5 is not set +# CONFIG_ARCH_CHIP_SAMD is not set # CONFIG_ARCH_CHIP_SAM34 is not set CONFIG_ARCH_CHIP_STM32=y # CONFIG_ARCH_CHIP_STR71X is not set @@ -226,6 +232,8 @@ CONFIG_STM32_STM32F429=y # # STM32 Peripheral Support # +# CONFIG_STM32_HAVE_USBDEV is not set +CONFIG_STM32_HAVE_OTGFS=y # CONFIG_STM32_ADC1 is not set # CONFIG_STM32_ADC2 is not set # CONFIG_STM32_ADC3 is not set @@ -246,6 +254,7 @@ CONFIG_STM32_FSMC=y # CONFIG_STM32_I2C1 is not set # CONFIG_STM32_I2C2 is not set # CONFIG_STM32_I2C3 is not set +# CONFIG_STM32_LTDC is not set # CONFIG_STM32_OTGFS is not set # CONFIG_STM32_OTGHS is not set # CONFIG_STM32_PWR is not set @@ -319,10 +328,13 @@ CONFIG_STM32_USART=y # CONFIG_ARCH_NOINTC is not set # CONFIG_ARCH_VECNOTIRQ is not set # CONFIG_ARCH_DMA is not set -CONFIG_ARCH_IRQPRIO=y +CONFIG_ARCH_HAVE_IRQPRIO=y # CONFIG_CUSTOM_STACK is not set # CONFIG_ADDRENV is not set CONFIG_ARCH_HAVE_VFORK=y +# CONFIG_ARCH_HAVE_MMU is not set +# CONFIG_ARCH_NAND_HWECC is not set +CONFIG_ARCH_IRQPRIO=y CONFIG_ARCH_STACKDUMP=y # CONFIG_ENDIAN_BIG is not set # CONFIG_ARCH_HAVE_RAMFUNCS is not set @@ -334,8 +346,14 @@ CONFIG_ARCH_HAVE_RAMVECTORS=y # CONFIG_BOARD_LOOPSPERMSEC=16717 # CONFIG_ARCH_CALIBRATION is not set + +# +# Interrupt options +# CONFIG_ARCH_HAVE_INTERRUPTSTACK=y CONFIG_ARCH_INTERRUPTSTACK=0 +CONFIG_ARCH_HAVE_HIPRI_INTERRUPT=y +# CONFIG_ARCH_HIPRI_INTERRUPT is not set # # Boot options @@ -351,6 +369,7 @@ CONFIG_BOOT_RUNFROMFLASH=y # CONFIG_RAM_START=0x20000000 CONFIG_RAM_SIZE=114688 +# CONFIG_ARCH_HAVE_SDRAM is not set # # Board Selection @@ -371,12 +390,15 @@ CONFIG_ARCH_HAVE_IRQBUTTONS=y # # Board-Specific Options # +# CONFIG_STM32F429I_DISCO_FLASH is not set +# CONFIG_STM32F429I_DISCO_RAMMTD is not set # # RTOS Features # # CONFIG_BOARD_INITIALIZE is not set CONFIG_MSEC_PER_TICK=10 +# CONFIG_SYSTEM_TIME64 is not set CONFIG_RR_INTERVAL=200 # CONFIG_SCHED_INSTRUMENTATION is not set CONFIG_TASK_NAME_SIZE=0 @@ -446,13 +468,15 @@ CONFIG_DEV_NULL=y # CONFIG_CAN is not set # CONFIG_ARCH_HAVE_PWM_PULSECOUNT is not set # CONFIG_PWM is not set -# CONFIG_I2C is not set CONFIG_ARCH_HAVE_I2CRESET=y +# CONFIG_I2C is not set # CONFIG_SPI is not set +# CONFIG_I2S is not set # CONFIG_RTC is not set # CONFIG_WATCHDOG is not set # CONFIG_ANALOG is not set # CONFIG_AUDIO_DEVICES is not set +# CONFIG_VIDEO_DEVICES is not set # CONFIG_BCH is not set # CONFIG_INPUT is not set # CONFIG_LCD is not set @@ -462,6 +486,7 @@ CONFIG_ARCH_HAVE_I2CRESET=y # CONFIG_PM is not set # CONFIG_POWER is not set # CONFIG_SENSORS is not set +# CONFIG_SERCOMM_CONSOLE is not set CONFIG_SERIAL=y CONFIG_DEV_LOWCONSOLE=y # CONFIG_16550_UART is not set @@ -517,7 +542,10 @@ CONFIG_USART1_2STOP=0 # File system configuration # CONFIG_DISABLE_MOUNTPOINT=y +# CONFIG_FS_READABLE is not set +# CONFIG_FS_WRITABLE is not set # CONFIG_FS_RAMMAP is not set +# CONFIG_FS_PROCFS is not set # # System Logging @@ -536,6 +564,7 @@ CONFIG_DISABLE_MOUNTPOINT=y # CONFIG_MM_MULTIHEAP is not set # CONFIG_MM_SMALL is not set CONFIG_MM_REGIONS=2 +# CONFIG_ARCH_HAVE_HEAP2 is not set # CONFIG_GRAN is not set # @@ -680,14 +709,11 @@ CONFIG_EXAMPLES_OSTEST_RR_RUNS=10 # Networking Utilities # # CONFIG_NETUTILS_CODECS is not set -# CONFIG_NETUTILS_DHCPC is not set # CONFIG_NETUTILS_DHCPD is not set # CONFIG_NETUTILS_FTPC is not set # CONFIG_NETUTILS_FTPD is not set # CONFIG_NETUTILS_JSON is not set -# CONFIG_NETUTILS_RESOLV is not set # CONFIG_NETUTILS_SMTP is not set -# CONFIG_NETUTILS_TELNETD is not set # CONFIG_NETUTILS_TFTPC is not set # CONFIG_NETUTILS_THTTPD is not set # CONFIG_NETUTILS_UIPLIB is not set @@ -713,7 +739,7 @@ CONFIG_EXAMPLES_OSTEST_RR_RUNS=10 # CONFIG_PLATFORM_CONFIGDATA is not set # -# System NSH Add-Ons +# System Libraries and NSH Add-Ons # # @@ -733,6 +759,11 @@ CONFIG_EXAMPLES_OSTEST_RR_RUNS=10 # I2C tool # +# +# INI File Parser +# +# CONFIG_SYSTEM_INIFILE is not set + # # FLASH Program Installation # @@ -781,6 +812,16 @@ CONFIG_EXAMPLES_OSTEST_RR_RUNS=10 # USB Monitor # +# +# EMACS-like Command Line Editor +# +# CONFIG_SYSTEM_CLE is not set + +# +# VI Work-Alike Editor +# +# CONFIG_SYSTEM_VI is not set + # # Stack Monitor #