|
|
@@ -335,6 +335,7 @@ CONFIG_RT_LWIP_USING_PING=y
|
|
|
# CONFIG_RT_USING_UTEST is not set
|
|
|
CONFIG_RT_USING_LWP=y
|
|
|
CONFIG_RT_LWP_MAX_NR=30
|
|
|
+CONFIG_LWP_TASK_STACK_SIZE=16384
|
|
|
# CONFIG_RT_USING_GDBSERVER is not set
|
|
|
CONFIG_RT_CH_MSG_MAX_NR=1024
|
|
|
CONFIG_RT_LWP_SHM_MAX_NR=64
|
|
|
@@ -464,6 +465,7 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_QRCODE is not set
|
|
|
# CONFIG_PKG_USING_ULOG_EASYFLASH is not set
|
|
|
# CONFIG_PKG_USING_ULOG_FILE is not set
|
|
|
+# CONFIG_PKG_USING_LOGMGR is not set
|
|
|
# CONFIG_PKG_USING_ADBD is not set
|
|
|
# CONFIG_PKG_USING_COREMARK is not set
|
|
|
# CONFIG_PKG_USING_DHRYSTONE is not set
|
|
|
@@ -480,6 +482,8 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_GBK2UTF8 is not set
|
|
|
# CONFIG_PKG_USING_VCONSOLE is not set
|
|
|
# CONFIG_PKG_USING_KDB is not set
|
|
|
+# CONFIG_PKG_USING_WAMR is not set
|
|
|
+# CONFIG_PKG_USING_MICRO_XRCE_DDS_CLIENT is not set
|
|
|
|
|
|
#
|
|
|
# system packages
|
|
|
@@ -519,7 +523,12 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_UC_MODBUS is not set
|
|
|
# CONFIG_PKG_USING_PPOOL is not set
|
|
|
# CONFIG_PKG_USING_OPENAMP is not set
|
|
|
-# CONFIG_PKG_USING_RT_PRINTF is not set
|
|
|
+# CONFIG_PKG_USING_RT_KPRINTF_THREADSAFE is not set
|
|
|
+# CONFIG_PKG_USING_RT_MEMCPY_CM is not set
|
|
|
+# CONFIG_PKG_USING_QFPLIB_M0_FULL is not set
|
|
|
+# CONFIG_PKG_USING_QFPLIB_M0_TINY is not set
|
|
|
+# CONFIG_PKG_USING_QFPLIB_M3 is not set
|
|
|
+# CONFIG_PKG_USING_LPM is not set
|
|
|
|
|
|
#
|
|
|
# peripheral libraries and drivers
|
|
|
@@ -631,6 +640,53 @@ CONFIG_LWP_TID_MAX_NR=64
|
|
|
# CONFIG_PKG_USING_TETRIS is not set
|
|
|
# CONFIG_PKG_USING_LWGPS is not set
|
|
|
# CONFIG_PKG_USING_TENSORFLOWLITEMICRO is not set
|
|
|
+# CONFIG_PKG_USING_STATE_MACHINE is not set
|
|
|
+
|
|
|
+#
|
|
|
+# Privated Packages of RealThread
|
|
|
+#
|
|
|
+# CONFIG_PKG_USING_CODEC is not set
|
|
|
+# CONFIG_PKG_USING_PLAYER is not set
|
|
|
+# CONFIG_PKG_USING_MPLAYER is not set
|
|
|
+# CONFIG_PKG_USING_PERSIMMON_SRC is not set
|
|
|
+# CONFIG_PKG_USING_JS_PERSIMMON is not set
|
|
|
+# CONFIG_PKG_USING_JERRYSCRIPT_WIN32 is not set
|
|
|
+
|
|
|
+#
|
|
|
+# Network Utilities
|
|
|
+#
|
|
|
+# CONFIG_PKG_USING_MDNS is not set
|
|
|
+# CONFIG_PKG_USING_UPNP is not set
|
|
|
+# CONFIG_PKG_USING_WICED is not set
|
|
|
+# CONFIG_PKG_USING_CLOUDSDK is not set
|
|
|
+# CONFIG_PKG_USING_POWER_MANAGER is not set
|
|
|
+# CONFIG_PKG_USING_RT_OTA is not set
|
|
|
+# CONFIG_PKG_USING_RDBD_SRC is not set
|
|
|
+# CONFIG_PKG_USING_RTINSIGHT is not set
|
|
|
+# CONFIG_PKG_USING_SMARTCONFIG is not set
|
|
|
+# CONFIG_PKG_USING_RTX is not set
|
|
|
+# CONFIG_RT_USING_TESTCASE is not set
|
|
|
+# CONFIG_PKG_USING_NGHTTP2 is not set
|
|
|
+# CONFIG_PKG_USING_AVS is not set
|
|
|
+# CONFIG_PKG_USING_ALI_LINKKIT is not set
|
|
|
+# CONFIG_PKG_USING_STS is not set
|
|
|
+# CONFIG_PKG_USING_DLMS is not set
|
|
|
+# CONFIG_PKG_USING_AUDIO_FRAMEWORK is not set
|
|
|
+# CONFIG_PKG_USING_ZBAR is not set
|
|
|
+# CONFIG_PKG_USING_MCF is not set
|
|
|
+# CONFIG_PKG_USING_URPC is not set
|
|
|
+# CONFIG_PKG_USING_BSAL is not set
|
|
|
+# CONFIG_PKG_USING_DCM is not set
|
|
|
+# CONFIG_PKG_USING_EMQ is not set
|
|
|
+# CONFIG_PKG_USING_CFGM is not set
|
|
|
+# CONFIG_PKG_USING_RT_CMSIS_DAP is not set
|
|
|
+# CONFIG_PKG_USING_SMODULE is not set
|
|
|
+# CONFIG_PKG_USING_SNFD is not set
|
|
|
+# CONFIG_PKG_USING_UDBD is not set
|
|
|
+# CONFIG_PKG_USING_BENCHMARK is not set
|
|
|
+# CONFIG_PKG_USING_UBJSON is not set
|
|
|
+# CONFIG_PKG_USING_DATATYPE is not set
|
|
|
+# CONFIG_PKG_USING_FASTFS is not set
|
|
|
CONFIG_SOC_VEXPRESS_A9=y
|
|
|
CONFIG_RT_USING_UART0=y
|
|
|
CONFIG_RT_USING_UART1=y
|