.config 11 KB

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