@@ -78,7 +78,7 @@ CONFIG_ARCH_RISCV32=y
7878#
7979CONFIG_RT_USING_COMPONENTS_INIT=y
8080CONFIG_RT_USING_USER_MAIN=y
81- CONFIG_RT_MAIN_THREAD_STACK_SIZE=2048
81+ CONFIG_RT_MAIN_THREAD_STACK_SIZE=1024
8282CONFIG_RT_MAIN_THREAD_PRIORITY=10
8383
8484#
@@ -97,7 +97,7 @@ CONFIG_FINSH_USING_SYMTAB=y
9797CONFIG_FINSH_USING_DESCRIPTION=y
9898# CONFIG_FINSH_ECHO_DISABLE_DEFAULT is not set
9999CONFIG_FINSH_THREAD_PRIORITY=20
100- CONFIG_FINSH_THREAD_STACK_SIZE=4096
100+ CONFIG_FINSH_THREAD_STACK_SIZE=2048
101101CONFIG_FINSH_CMD_SIZE=80
102102# CONFIG_FINSH_USING_AUTH is not set
103103CONFIG_FINSH_USING_MSH=y
@@ -108,27 +108,18 @@ CONFIG_FINSH_ARG_MAX=10
108108#
109109# Device virtual file system
110110#
111- CONFIG_RT_USING_DFS=y
112- CONFIG_DFS_USING_WORKDIR=y
113- CONFIG_DFS_FILESYSTEMS_MAX=2
114- CONFIG_DFS_FILESYSTEM_TYPES_MAX=2
115- CONFIG_DFS_FD_MAX=16
116- # CONFIG_RT_USING_DFS_MNTTABLE is not set
117- # CONFIG_RT_USING_DFS_ELMFAT is not set
118- CONFIG_RT_USING_DFS_DEVFS=y
119- # CONFIG_RT_USING_DFS_ROMFS is not set
120- # CONFIG_RT_USING_DFS_RAMFS is not set
121- # CONFIG_RT_USING_DFS_UFFS is not set
122- # CONFIG_RT_USING_DFS_JFFS2 is not set
111+ # CONFIG_RT_USING_DFS is not set
123112
124113#
125114# Device Drivers
126115#
127116CONFIG_RT_USING_DEVICE_IPC=y
128117CONFIG_RT_PIPE_BUFSZ=512
129- # CONFIG_RT_USING_SYSTEM_WORKQUEUE is not set
118+ CONFIG_RT_USING_SYSTEM_WORKQUEUE=y
119+ CONFIG_RT_SYSTEM_WORKQUEUE_STACKSIZE=2048
120+ CONFIG_RT_SYSTEM_WORKQUEUE_PRIORITY=23
130121CONFIG_RT_USING_SERIAL=y
131- CONFIG_RT_SERIAL_USING_DMA=y
122+ # CONFIG_RT_SERIAL_USING_DMA is not set
132123CONFIG_RT_SERIAL_RB_BUFSZ=64
133124# CONFIG_RT_USING_CAN is not set
134125# CONFIG_RT_USING_HWTIMER is not set
@@ -163,10 +154,6 @@ CONFIG_RT_USING_PIN=y
163154#
164155CONFIG_RT_USING_LIBC=y
165156# CONFIG_RT_USING_PTHREADS is not set
166- CONFIG_RT_USING_POSIX=y
167- # CONFIG_RT_USING_POSIX_MMAP is not set
168- # CONFIG_RT_USING_POSIX_TERMIOS is not set
169- # CONFIG_RT_USING_POSIX_AIO is not set
170157# CONFIG_RT_USING_MODULE is not set
171158
172159#
@@ -218,6 +205,7 @@ CONFIG_RT_USING_POSIX=y
218205# CONFIG_PKG_USING_MONGOOSE is not set
219206# CONFIG_PKG_USING_MYMQTT is not set
220207# CONFIG_PKG_USING_KAWAII_MQTT is not set
208+ # CONFIG_PKG_USING_BC28_MQTT is not set
221209# CONFIG_PKG_USING_WEBTERMINAL is not set
222210# CONFIG_PKG_USING_CJSON is not set
223211# CONFIG_PKG_USING_JSMN is not set
@@ -244,6 +232,7 @@ CONFIG_RT_USING_POSIX=y
244232# CONFIG_PKG_USING_COAP is not set
245233# CONFIG_PKG_USING_NOPOLL is not set
246234# CONFIG_PKG_USING_NETUTILS is not set
235+ # CONFIG_PKG_USING_CMUX is not set
247236# CONFIG_PKG_USING_PPP_DEVICE is not set
248237# CONFIG_PKG_USING_AT_DEVICE is not set
249238# CONFIG_PKG_USING_ATSRV_SOCKET is not set
@@ -320,6 +309,7 @@ CONFIG_RT_USING_POSIX=y
320309# CONFIG_PKG_USING_CHINESE_FONT_LIBRARY is not set
321310# CONFIG_PKG_USING_LUNAR_CALENDAR is not set
322311# CONFIG_PKG_USING_BS8116A is not set
312+ # CONFIG_PKG_USING_URLENCODE is not set
323313
324314#
325315# system packages
@@ -330,6 +320,7 @@ CONFIG_RT_USING_POSIX=y
330320# CONFIG_PKG_USING_LWEXT4 is not set
331321# CONFIG_PKG_USING_PARTITION is not set
332322# CONFIG_PKG_USING_FAL is not set
323+ # CONFIG_PKG_USING_FLASHDB is not set
333324# CONFIG_PKG_USING_SQLITE is not set
334325# CONFIG_PKG_USING_RTI is not set
335326# CONFIG_PKG_USING_LITTLEVGL2RTT is not set
@@ -361,6 +352,7 @@ CONFIG_RT_USING_POSIX=y
361352# CONFIG_PKG_USING_LITTLED is not set
362353# CONFIG_PKG_USING_LKDGUI is not set
363354# CONFIG_PKG_USING_NRF5X_SDK is not set
355+ # CONFIG_PKG_USING_NRFX is not set
364356# CONFIG_PKG_USING_WM_LIBRARIES is not set
365357# CONFIG_PKG_USING_KENDRYTE_SDK is not set
366358# CONFIG_PKG_USING_INFRARED is not set
@@ -386,10 +378,15 @@ CONFIG_RT_USING_POSIX=y
386378# CONFIG_PKG_USING_EASYBLINK is not set
387379# CONFIG_PKG_USING_PMS_SERIES is not set
388380CONFIG_PKG_USING_NUCLEI_SDK=y
381+
382+ #
383+ # !!!Nuclei SDK only works with Nuclei RISC-V Processor IP!!!
384+ #
389385CONFIG_PKG_NUCLEI_SDK_PATH="/packages/peripherals/nuclei_sdk"
390386# CONFIG_PKG_USING_NUCLEI_SDK_V023 is not set
391387CONFIG_PKG_USING_NUCLEI_SDK_LATEST_VERSION=y
392388CONFIG_PKG_NUCLEI_SDK_VER="latest"
389+ # CONFIG_PKG_USING_CAN_YMODEM is not set
393390
394391#
395392# miscellaneous packages
@@ -446,6 +443,13 @@ CONFIG_BSP_USING_UART=y
446443# CONFIG_BSP_USING_UART2 is not set
447444# CONFIG_BSP_USING_UART3 is not set
448445CONFIG_BSP_USING_UART4=y
446+ # CONFIG_BSP_USING_I2C is not set
447+ # CONFIG_BSP_USING_SPI is not set
448+ # CONFIG_BSP_USING_HWTIMER is not set
449+ # CONFIG_BSP_USING_ADC is not set
450+ # CONFIG_BSP_USING_WDT is not set
451+ # CONFIG_BSP_USING_RTC is not set
452+ # CONFIG_BSP_USING_PWM is not set
449453
450454#
451455# Board extended module Drivers
0 commit comments