summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--nuttx/configs/stm32f429i-disco/README.txt6
-rw-r--r--nuttx/configs/stm32f429i-disco/ostest/defconfig55
2 files changed, 54 insertions, 7 deletions
diff --git a/nuttx/configs/stm32f429i-disco/README.txt b/nuttx/configs/stm32f429i-disco/README.txt
index 52d86723a..7a893839b 100644
--- a/nuttx/configs/stm32f429i-disco/README.txt
+++ b/nuttx/configs/stm32f429i-disco/README.txt
@@ -891,6 +891,12 @@ Where <subdir> 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/nuttx/configs/stm32f429i-disco/ostest/defconfig b/nuttx/configs/stm32f429i-disco/ostest/defconfig
index 4e5c617f8..f76c6ffac 100644
--- a/nuttx/configs/stm32f429i-disco/ostest/defconfig
+++ b/nuttx/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
#
#
@@ -734,6 +760,11 @@ CONFIG_EXAMPLES_OSTEST_RR_RUNS=10
#
#
+# INI File Parser
+#
+# CONFIG_SYSTEM_INIFILE is not set
+
+#
# FLASH Program Installation
#
# CONFIG_SYSTEM_INSTALL is not set
@@ -782,6 +813,16 @@ CONFIG_EXAMPLES_OSTEST_RR_RUNS=10
#
#
+# EMACS-like Command Line Editor
+#
+# CONFIG_SYSTEM_CLE is not set
+
+#
+# VI Work-Alike Editor
+#
+# CONFIG_SYSTEM_VI is not set
+
+#
# Stack Monitor
#