|
@@ -43,7 +43,7 @@ CONFIG_RT_USING_MESSAGEQUEUE=y
|
|
#
|
|
#
|
|
# Memory Management
|
|
# Memory Management
|
|
#
|
|
#
|
|
-# CONFIG_RT_USING_MEMPOOL is not set
|
|
|
|
|
|
+CONFIG_RT_USING_MEMPOOL=y
|
|
CONFIG_RT_USING_MEMHEAP=y
|
|
CONFIG_RT_USING_MEMHEAP=y
|
|
# CONFIG_RT_USING_NOHEAP is not set
|
|
# CONFIG_RT_USING_NOHEAP is not set
|
|
# CONFIG_RT_USING_SMALL_MEM is not set
|
|
# CONFIG_RT_USING_SMALL_MEM is not set
|
|
@@ -62,6 +62,7 @@ CONFIG_RT_CONSOLEBUF_SIZE=128
|
|
CONFIG_RT_CONSOLE_DEVICE_NAME="uart1"
|
|
CONFIG_RT_CONSOLE_DEVICE_NAME="uart1"
|
|
CONFIG_ARCH_ARM=y
|
|
CONFIG_ARCH_ARM=y
|
|
CONFIG_ARCH_ARM_CORTEX_M=y
|
|
CONFIG_ARCH_ARM_CORTEX_M=y
|
|
|
|
+CONFIG_ARCH_ARM_CORTEX_FPU=y
|
|
CONFIG_ARCH_ARM_CORTEX_M7=y
|
|
CONFIG_ARCH_ARM_CORTEX_M7=y
|
|
|
|
|
|
#
|
|
#
|
|
@@ -164,9 +165,13 @@ CONFIG_RT_USING_SPI=y
|
|
# CONFIG_RT_USING_ENC28J60 is not set
|
|
# CONFIG_RT_USING_ENC28J60 is not set
|
|
# CONFIG_RT_USING_SPI_WIFI is not set
|
|
# CONFIG_RT_USING_SPI_WIFI is not set
|
|
# CONFIG_RT_USING_WDT is not set
|
|
# CONFIG_RT_USING_WDT is not set
|
|
-# CONFIG_RT_USING_WIFI is not set
|
|
|
|
# CONFIG_RT_USING_AUDIO is not set
|
|
# CONFIG_RT_USING_AUDIO is not set
|
|
|
|
|
|
|
|
+#
|
|
|
|
+# Using WiFi
|
|
|
|
+#
|
|
|
|
+# CONFIG_RT_USING_WIFI is not set
|
|
|
|
+
|
|
#
|
|
#
|
|
# Using USB
|
|
# Using USB
|
|
#
|
|
#
|
|
@@ -357,17 +362,20 @@ CONFIG_LWIP_NETIF_LOOPBACK=0
|
|
# CONFIG_PKG_USING_SQLITE is not set
|
|
# CONFIG_PKG_USING_SQLITE is not set
|
|
# CONFIG_PKG_USING_RTI is not set
|
|
# CONFIG_PKG_USING_RTI is not set
|
|
# CONFIG_PKG_USING_LITTLEVGL2RTT is not set
|
|
# CONFIG_PKG_USING_LITTLEVGL2RTT is not set
|
|
|
|
+# CONFIG_PKG_USING_CMSIS is not set
|
|
|
|
+# CONFIG_PKG_USING_CMSIS_LATEST_VERSION is not set
|
|
|
|
+# CONFIG_PKG_USING_CMSIS_V500 is not set
|
|
|
|
+# CONFIG_PKG_USING_DFS_YAFFS is not set
|
|
|
|
|
|
#
|
|
#
|
|
# peripheral libraries and drivers
|
|
# peripheral libraries and drivers
|
|
#
|
|
#
|
|
-# CONFIG_PKG_USING_STM32F4_HAL is not set
|
|
|
|
-# CONFIG_PKG_USING_STM32F4_DRIVERS is not set
|
|
|
|
# CONFIG_PKG_USING_REALTEK_AMEBA is not set
|
|
# CONFIG_PKG_USING_REALTEK_AMEBA is not set
|
|
# CONFIG_PKG_USING_SHT2X is not set
|
|
# CONFIG_PKG_USING_SHT2X is not set
|
|
# CONFIG_PKG_USING_AHT10 is not set
|
|
# CONFIG_PKG_USING_AHT10 is not set
|
|
# CONFIG_PKG_USING_AP3216C is not set
|
|
# CONFIG_PKG_USING_AP3216C is not set
|
|
# CONFIG_PKG_USING_STM32_SDIO is not set
|
|
# CONFIG_PKG_USING_STM32_SDIO is not set
|
|
|
|
+# CONFIG_PKG_USING_ICM20608 is not set
|
|
|
|
|
|
#
|
|
#
|
|
# miscellaneous packages
|
|
# miscellaneous packages
|