1#
2# Automatically generated file; DO NOT EDIT.
3# RT-Thread Configuration
4#
5
6#
7# RT-Thread Kernel
8#
9CONFIG_RT_NAME_MAX=8
10# CONFIG_RT_USING_ARCH_DATA_TYPE is not set
11# CONFIG_RT_USING_SMP is not set
12CONFIG_RT_ALIGN_SIZE=8
13# CONFIG_RT_THREAD_PRIORITY_8 is not set
14CONFIG_RT_THREAD_PRIORITY_32=y
15# CONFIG_RT_THREAD_PRIORITY_256 is not set
16CONFIG_RT_THREAD_PRIORITY_MAX=32
17CONFIG_RT_TICK_PER_SECOND=1000
18CONFIG_RT_USING_OVERFLOW_CHECK=y
19CONFIG_RT_USING_HOOK=y
20CONFIG_RT_USING_IDLE_HOOK=y
21CONFIG_RT_IDLE_HOOK_LIST_SIZE=4
22CONFIG_IDLE_THREAD_STACK_SIZE=256
23# CONFIG_RT_USING_TIMER_SOFT is not set
24CONFIG_RT_DEBUG=y
25CONFIG_RT_DEBUG_COLOR=y
26# CONFIG_RT_DEBUG_INIT_CONFIG is not set
27# CONFIG_RT_DEBUG_THREAD_CONFIG is not set
28# CONFIG_RT_DEBUG_SCHEDULER_CONFIG is not set
29# CONFIG_RT_DEBUG_IPC_CONFIG is not set
30# CONFIG_RT_DEBUG_TIMER_CONFIG is not set
31# CONFIG_RT_DEBUG_IRQ_CONFIG is not set
32# CONFIG_RT_DEBUG_MEM_CONFIG is not set
33# CONFIG_RT_DEBUG_SLAB_CONFIG is not set
34# CONFIG_RT_DEBUG_MEMHEAP_CONFIG is not set
35# CONFIG_RT_DEBUG_MODULE_CONFIG is not set
36
37#
38# Inter-Thread communication
39#
40CONFIG_RT_USING_SEMAPHORE=y
41CONFIG_RT_USING_MUTEX=y
42CONFIG_RT_USING_EVENT=y
43CONFIG_RT_USING_MAILBOX=y
44CONFIG_RT_USING_MESSAGEQUEUE=y
45# CONFIG_RT_USING_SIGNALS is not set
46
47#
48# Memory Management
49#
50CONFIG_RT_USING_MEMPOOL=y
51CONFIG_RT_USING_MEMHEAP=y
52# CONFIG_RT_USING_NOHEAP is not set
53CONFIG_RT_USING_SMALL_MEM=y
54# CONFIG_RT_USING_SLAB is not set
55# CONFIG_RT_USING_MEMHEAP_AS_HEAP is not set
56# CONFIG_RT_USING_MEMTRACE is not set
57CONFIG_RT_USING_HEAP=y
58
59#
60# Kernel Device Object
61#
62CONFIG_RT_USING_DEVICE=y
63# CONFIG_RT_USING_DEVICE_OPS is not set
64# CONFIG_RT_USING_INTERRUPT_INFO is not set
65CONFIG_RT_USING_CONSOLE=y
66CONFIG_RT_CONSOLEBUF_SIZE=128
67CONFIG_RT_CONSOLE_DEVICE_NAME="uart1"
68CONFIG_RT_VER_NUM=0x40002
69CONFIG_ARCH_ARM=y
70CONFIG_RT_USING_CPU_FFS=y
71CONFIG_ARCH_ARM_CORTEX_M=y
72CONFIG_ARCH_ARM_CORTEX_M3=y
73# CONFIG_ARCH_CPU_STACK_GROWS_UPWARD is not set
74
75#
76# RT-Thread Components
77#
78CONFIG_RT_USING_COMPONENTS_INIT=y
79CONFIG_RT_USING_USER_MAIN=y
80CONFIG_RT_MAIN_THREAD_STACK_SIZE=2048
81CONFIG_RT_MAIN_THREAD_PRIORITY=10
82
83#
84# C++ features
85#
86# CONFIG_RT_USING_CPLUSPLUS is not set
87
88#
89# Command shell
90#
91CONFIG_RT_USING_FINSH=y
92CONFIG_FINSH_THREAD_NAME="tshell"
93CONFIG_FINSH_USING_HISTORY=y
94CONFIG_FINSH_HISTORY_LINES=5
95CONFIG_FINSH_USING_SYMTAB=y
96CONFIG_FINSH_USING_DESCRIPTION=y
97# CONFIG_FINSH_ECHO_DISABLE_DEFAULT is not set
98CONFIG_FINSH_THREAD_PRIORITY=20
99CONFIG_FINSH_THREAD_STACK_SIZE=4096
100CONFIG_FINSH_CMD_SIZE=80
101# CONFIG_FINSH_USING_AUTH is not set
102CONFIG_FINSH_USING_MSH=y
103CONFIG_FINSH_USING_MSH_DEFAULT=y
104CONFIG_FINSH_USING_MSH_ONLY=y
105CONFIG_FINSH_ARG_MAX=10
106
107#
108# Device virtual file system
109#
110# CONFIG_RT_USING_DFS is not set
111
112#
113# Device Drivers
114#
115CONFIG_RT_USING_DEVICE_IPC=y
116CONFIG_RT_PIPE_BUFSZ=512
117# CONFIG_RT_USING_SYSTEM_WORKQUEUE is not set
118CONFIG_RT_USING_SERIAL=y
119# CONFIG_RT_SERIAL_USING_DMA is not set
120CONFIG_RT_SERIAL_RB_BUFSZ=64
121# CONFIG_RT_USING_CAN is not set
122# CONFIG_RT_USING_HWTIMER is not set
123# CONFIG_RT_USING_CPUTIME is not set
124# CONFIG_RT_USING_I2C is not set
125CONFIG_RT_USING_PIN=y
126# CONFIG_RT_USING_ADC is not set
127# CONFIG_RT_USING_PWM is not set
128# CONFIG_RT_USING_MTD_NOR is not set
129# CONFIG_RT_USING_MTD_NAND is not set
130# CONFIG_RT_USING_PM is not set
131# CONFIG_RT_USING_RTC is not set
132# CONFIG_RT_USING_SDIO is not set
133# CONFIG_RT_USING_SPI is not set
134# CONFIG_RT_USING_WDT is not set
135# CONFIG_RT_USING_AUDIO is not set
136# CONFIG_RT_USING_SENSOR is not set
137# CONFIG_RT_USING_TOUCH is not set
138# CONFIG_RT_USING_HWCRYPTO is not set
139# CONFIG_RT_USING_PULSE_ENCODER is not set
140# CONFIG_RT_USING_INPUT_CAPTURE is not set
141# CONFIG_RT_USING_WIFI is not set
142
143#
144# Using USB
145#
146# CONFIG_RT_USING_USB_HOST is not set
147# CONFIG_RT_USING_USB_DEVICE is not set
148
149#
150# POSIX layer and C standard library
151#
152# CONFIG_RT_USING_LIBC is not set
153# CONFIG_RT_USING_PTHREADS is not set
154CONFIG_RT_LIBC_USING_TIME=y
155
156#
157# Network
158#
159
160#
161# Socket abstraction layer
162#
163# CONFIG_RT_USING_SAL is not set
164
165#
166# Network interface device
167#
168# CONFIG_RT_USING_NETDEV is not set
169
170#
171# light weight TCP/IP stack
172#
173# CONFIG_RT_USING_LWIP is not set
174
175#
176# AT commands
177#
178# CONFIG_RT_USING_AT is not set
179
180#
181# VBUS(Virtual Software BUS)
182#
183# CONFIG_RT_USING_VBUS is not set
184
185#
186# Utilities
187#
188# CONFIG_RT_USING_RYM is not set
189# CONFIG_RT_USING_ULOG is not set
190# CONFIG_RT_USING_UTEST is not set
191# CONFIG_RT_USING_LWP is not set
192
193#
194# RT-Thread online packages
195#
196
197#
198# IoT - internet of things
199#
200# CONFIG_PKG_USING_PAHOMQTT is not set
201# CONFIG_PKG_USING_WEBCLIENT is not set
202# CONFIG_PKG_USING_WEBNET is not set
203# CONFIG_PKG_USING_MONGOOSE is not set
204# CONFIG_PKG_USING_MYMQTT is not set
205# CONFIG_PKG_USING_WEBTERMINAL is not set
206# CONFIG_PKG_USING_CJSON is not set
207# CONFIG_PKG_USING_JSMN is not set
208# CONFIG_PKG_USING_LIBMODBUS is not set
209# CONFIG_PKG_USING_FREEMODBUS is not set
210# CONFIG_PKG_USING_LJSON is not set
211# CONFIG_PKG_USING_EZXML is not set
212# CONFIG_PKG_USING_NANOPB is not set
213
214#
215# Wi-Fi
216#
217
218#
219# Marvell WiFi
220#
221# CONFIG_PKG_USING_WLANMARVELL is not set
222
223#
224# Wiced WiFi
225#
226# CONFIG_PKG_USING_WLAN_WICED is not set
227# CONFIG_PKG_USING_RW007 is not set
228# CONFIG_PKG_USING_COAP is not set
229# CONFIG_PKG_USING_NOPOLL is not set
230# CONFIG_PKG_USING_NETUTILS is not set
231# CONFIG_PKG_USING_PPP_DEVICE is not set
232# CONFIG_PKG_USING_AT_DEVICE is not set
233# CONFIG_PKG_USING_ATSRV_SOCKET is not set
234# CONFIG_PKG_USING_WIZNET is not set
235
236#
237# IoT Cloud
238#
239# CONFIG_PKG_USING_ONENET is not set
240# CONFIG_PKG_USING_GAGENT_CLOUD is not set
241# CONFIG_PKG_USING_ALI_IOTKIT is not set
242# CONFIG_PKG_USING_AZURE is not set
243# CONFIG_PKG_USING_TENCENT_IOTHUB is not set
244# CONFIG_PKG_USING_JIOT-C-SDK is not set
245# CONFIG_PKG_USING_NIMBLE is not set
246# CONFIG_PKG_USING_OTA_DOWNLOADER is not set
247# CONFIG_PKG_USING_IPMSG is not set
248# CONFIG_PKG_USING_LSSDP is not set
249# CONFIG_PKG_USING_AIRKISS_OPEN is not set
250# CONFIG_PKG_USING_LIBRWS is not set
251# CONFIG_PKG_USING_TCPSERVER is not set
252# CONFIG_PKG_USING_PROTOBUF_C is not set
253# CONFIG_PKG_USING_ONNX_PARSER is not set
254# CONFIG_PKG_USING_ONNX_BACKEND is not set
255# CONFIG_PKG_USING_DLT645 is not set
256# CONFIG_PKG_USING_QXWZ is not set
257# CONFIG_PKG_USING_SMTP_CLIENT is not set
258# CONFIG_PKG_USING_ABUP_FOTA is not set
259
260#
261# security packages
262#
263# CONFIG_PKG_USING_MBEDTLS is not set
264# CONFIG_PKG_USING_libsodium is not set
265# CONFIG_PKG_USING_TINYCRYPT is not set
266
267#
268# language packages
269#
270# CONFIG_PKG_USING_LUA is not set
271# CONFIG_PKG_USING_JERRYSCRIPT is not set
272# CONFIG_PKG_USING_MICROPYTHON is not set
273
274#
275# multimedia packages
276#
277# CONFIG_PKG_USING_OPENMV is not set
278# CONFIG_PKG_USING_MUPDF is not set
279# CONFIG_PKG_USING_STEMWIN is not set
280# CONFIG_PKG_USING_WAVPLAYER is not set
281# CONFIG_PKG_USING_TJPGD is not set
282
283#
284# tools packages
285#
286# CONFIG_PKG_USING_CMBACKTRACE is not set
287# CONFIG_PKG_USING_EASYFLASH is not set
288# CONFIG_PKG_USING_EASYLOGGER is not set
289# CONFIG_PKG_USING_SYSTEMVIEW is not set
290# CONFIG_PKG_USING_RDB is not set
291# CONFIG_PKG_USING_QRCODE is not set
292# CONFIG_PKG_USING_ULOG_EASYFLASH is not set
293# CONFIG_PKG_USING_ADBD is not set
294# CONFIG_PKG_USING_COREMARK is not set
295# CONFIG_PKG_USING_DHRYSTONE is not set
296# CONFIG_PKG_USING_NR_MICRO_SHELL is not set
297# CONFIG_PKG_USING_CHINESE_FONT_LIBRARY is not set
298# CONFIG_PKG_USING_LUNAR_CALENDAR is not set
299# CONFIG_PKG_USING_BS8116A is not set
300
301#
302# system packages
303#
304# CONFIG_PKG_USING_GUIENGINE is not set
305# CONFIG_PKG_USING_CAIRO is not set
306# CONFIG_PKG_USING_PIXMAN is not set
307# CONFIG_PKG_USING_LWEXT4 is not set
308# CONFIG_PKG_USING_PARTITION is not set
309# CONFIG_PKG_USING_FAL is not set
310# CONFIG_PKG_USING_SQLITE is not set
311# CONFIG_PKG_USING_RTI is not set
312# CONFIG_PKG_USING_LITTLEVGL2RTT is not set
313# CONFIG_PKG_USING_CMSIS is not set
314# CONFIG_PKG_USING_DFS_YAFFS is not set
315# CONFIG_PKG_USING_LITTLEFS is not set
316# CONFIG_PKG_USING_THREAD_POOL is not set
317# CONFIG_PKG_USING_ROBOTS is not set
318# CONFIG_PKG_USING_EV is not set
319
320#
321# peripheral libraries and drivers
322#
323# CONFIG_PKG_USING_SENSORS_DRIVERS is not set
324# CONFIG_PKG_USING_REALTEK_AMEBA is not set
325# CONFIG_PKG_USING_SHT2X is not set
326# CONFIG_PKG_USING_SHT3X is not set
327# CONFIG_PKG_USING_STM32_SDIO is not set
328# CONFIG_PKG_USING_ICM20608 is not set
329# CONFIG_PKG_USING_U8G2 is not set
330# CONFIG_PKG_USING_BUTTON is not set
331# CONFIG_PKG_USING_PCF8574 is not set
332# CONFIG_PKG_USING_SX12XX is not set
333# CONFIG_PKG_USING_SIGNAL_LED is not set
334# CONFIG_PKG_USING_LEDBLINK is not set
335# CONFIG_PKG_USING_WM_LIBRARIES is not set
336# CONFIG_PKG_USING_KENDRYTE_SDK is not set
337# CONFIG_PKG_USING_INFRARED is not set
338# CONFIG_PKG_USING_ROSSERIAL is not set
339# CONFIG_PKG_USING_AGILE_BUTTON is not set
340# CONFIG_PKG_USING_AGILE_LED is not set
341# CONFIG_PKG_USING_AT24CXX is not set
342# CONFIG_PKG_USING_MOTIONDRIVER2RTT is not set
343# CONFIG_PKG_USING_AD7746 is not set
344# CONFIG_PKG_USING_PCA9685 is not set
345# CONFIG_PKG_USING_I2C_TOOLS is not set
346# CONFIG_PKG_USING_NRF24L01 is not set
347# CONFIG_PKG_USING_TOUCH_DRIVERS is not set
348# CONFIG_PKG_USING_MAX17048 is not set
349# CONFIG_PKG_USING_RPLIDAR is not set
350# CONFIG_PKG_USING_AS608 is not set
351
352#
353# miscellaneous packages
354#
355# CONFIG_PKG_USING_LIBCSV is not set
356# CONFIG_PKG_USING_OPTPARSE is not set
357# CONFIG_PKG_USING_FASTLZ is not set
358# CONFIG_PKG_USING_MINILZO is not set
359# CONFIG_PKG_USING_QUICKLZ is not set
360# CONFIG_PKG_USING_MULTIBUTTON is not set
361# CONFIG_PKG_USING_FLEXIBLE_BUTTON is not set
362# CONFIG_PKG_USING_CANFESTIVAL is not set
363# CONFIG_PKG_USING_ZLIB is not set
364# CONFIG_PKG_USING_DSTR is not set
365# CONFIG_PKG_USING_TINYFRAME is not set
366# CONFIG_PKG_USING_KENDRYTE_DEMO is not set
367# CONFIG_PKG_USING_DIGITALCTRL is not set
368# CONFIG_PKG_USING_UPACKER is not set
369# CONFIG_PKG_USING_UPARAM is not set
370
371#
372# samples: kernel and components samples
373#
374# CONFIG_PKG_USING_KERNEL_SAMPLES is not set
375# CONFIG_PKG_USING_FILESYSTEM_SAMPLES is not set
376# CONFIG_PKG_USING_NETWORK_SAMPLES is not set
377# CONFIG_PKG_USING_PERIPHERAL_SAMPLES is not set
378# CONFIG_PKG_USING_HELLO is not set
379# CONFIG_PKG_USING_VI is not set
380# CONFIG_PKG_USING_NNOM is not set
381# CONFIG_PKG_USING_LIBANN is not set
382# CONFIG_PKG_USING_ELAPACK is not set
383# CONFIG_PKG_USING_ARMv7M_DWT is not set
384# CONFIG_PKG_USING_VT100 is not set
385# CONFIG_PKG_USING_ULAPACK is not set
386# CONFIG_PKG_USING_UKAL is not set
387CONFIG_SOC_FAMILY_STM32=y
388CONFIG_SOC_SERIES_STM32L1=y
389
390#
391# Hardware Drivers Config
392#
393CONFIG_SOC_STM32L151CB=y
394
395#
396# Onboard Peripheral Drivers
397#
398# CONFIG_BSP_USING_USB_TO_USART is not set
399# CONFIG_BSP_USING_USBD is not set
400# CONFIG_BSP_USING_EEPROM is not set
401# CONFIG_BSP_USING_SPI_FLASH is not set
402# CONFIG_BSP_USING_POT is not set
403
404#
405# On-chip Peripheral Drivers
406#
407CONFIG_BSP_USING_GPIO=y
408CONFIG_BSP_USING_UART=y
409CONFIG_BSP_USING_UART1=y
410# CONFIG_BSP_USING_UART2 is not set
411# CONFIG_BSP_USING_UART3 is not set
412# CONFIG_BSP_USING_TIM is not set
413# CONFIG_BSP_USING_PWM is not set
414# CONFIG_BSP_USING_SPI is not set
415# CONFIG_BSP_USING_I2C1 is not set
416# CONFIG_BSP_USING_ADC is not set
417# CONFIG_BSP_USING_ON_CHIP_FLASH is not set
418# CONFIG_BSP_USING_ONCHIP_RTC is not set
419# CONFIG_BSP_USING_WDT is not set
420# CONFIG_BSP_USING_UDID is not set
421
422#
423# Board extended module Drivers
424#
425