1111# rt_vsnprintf options
1212#
1313# CONFIG_RT_KLIBC_USING_LIBC_VSNPRINTF is not set
14- CONFIG_RT_KLIBC_USING_VSNPRINTF_LONGLONG=y
15- CONFIG_RT_KLIBC_USING_VSNPRINTF_STANDARD=y
16- CONFIG_RT_KLIBC_USING_VSNPRINTF_DECIMAL_SPECIFIERS=y
17- CONFIG_RT_KLIBC_USING_VSNPRINTF_EXPONENTIAL_SPECIFIERS=y
18- CONFIG_RT_KLIBC_USING_VSNPRINTF_WRITEBACK_SPECIFIER=y
19- CONFIG_RT_KLIBC_USING_VSNPRINTF_CHECK_NUL_IN_FORMAT_SPECIFIER=y
20- # CONFIG_RT_KLIBC_USING_VSNPRINTF_MSVC_STYLE_INTEGER_SPECIFIERS is not set
21- CONFIG_RT_KLIBC_USING_VSNPRINTF_INTEGER_BUFFER_SIZE=32
22- CONFIG_RT_KLIBC_USING_VSNPRINTF_DECIMAL_BUFFER_SIZE=32
23- CONFIG_RT_KLIBC_USING_VSNPRINTF_FLOAT_PRECISION=6
24- CONFIG_RT_KLIBC_USING_VSNPRINTF_MAX_INTEGRAL_DIGITS_FOR_DECIMAL=9
25- CONFIG_RT_KLIBC_USING_VSNPRINTF_LOG10_TAYLOR_TERMS=4
14+ # CONFIG_RT_KLIBC_USING_VSNPRINTF_LONGLONG is not set
15+ # CONFIG_RT_KLIBC_USING_VSNPRINTF_STANDARD is not set
2616# end of rt_vsnprintf options
2717
2818#
@@ -116,13 +106,13 @@ CONFIG_RT_KLIBC_USING_VSNPRINTF_LOG10_TAYLOR_TERMS=4
116106# end of rt_strnlen options
117107# end of klibc options
118108
119- CONFIG_RT_NAME_MAX=16
109+ CONFIG_RT_NAME_MAX=24
120110# CONFIG_RT_USING_ARCH_DATA_TYPE is not set
121111# CONFIG_RT_USING_NANO is not set
122112# CONFIG_RT_USING_SMART is not set
123113# CONFIG_RT_USING_AMP is not set
124- # CONFIG_RT_USING_SMP is not set
125- CONFIG_RT_CPUS_NR=1
114+ CONFIG_RT_USING_SMP=y
115+ CONFIG_RT_CPUS_NR=4
126116CONFIG_RT_ALIGN_SIZE=8
127117# CONFIG_RT_THREAD_PRIORITY_8 is not set
128118CONFIG_RT_THREAD_PRIORITY_32=y
@@ -136,11 +126,13 @@ CONFIG_RT_HOOK_USING_FUNC_PTR=y
136126CONFIG_RT_USING_IDLE_HOOK=y
137127CONFIG_RT_IDLE_HOOK_LIST_SIZE=4
138128CONFIG_IDLE_THREAD_STACK_SIZE=8192
129+ CONFIG_SYSTEM_THREAD_STACK_SIZE=8192
139130CONFIG_RT_USING_TIMER_SOFT=y
140131CONFIG_RT_TIMER_THREAD_PRIO=4
141132CONFIG_RT_TIMER_THREAD_STACK_SIZE=8192
142133# CONFIG_RT_USING_TIMER_ALL_SOFT is not set
143- # CONFIG_RT_USING_CPU_USAGE_TRACER is not set
134+ CONFIG_RT_USING_CPU_USAGE_TRACER=y
135+ CONFIG_RT_CPU_USAGE_CALC_INTERVAL_MS=200
144136
145137#
146138# kservice options
@@ -153,6 +145,8 @@ CONFIG_RT_DEBUGING_ASSERT=y
153145CONFIG_RT_DEBUGING_COLOR=y
154146CONFIG_RT_DEBUGING_CONTEXT=y
155147# CONFIG_RT_DEBUGING_AUTO_INIT is not set
148+ # CONFIG_RT_DEBUGING_SPINLOCK is not set
149+ CONFIG_RT_DEBUGING_CRITICAL=y
156150# CONFIG_RT_USING_CI_ACTION is not set
157151
158152#
@@ -296,7 +290,7 @@ CONFIG_RT_USING_DFS_ROMFS=y
296290#
297291# Device Drivers
298292#
299- # CONFIG_RT_USING_DM is not set
293+ CONFIG_RT_USING_DM=y
300294CONFIG_RT_USING_DEV_BUS=y
301295CONFIG_RT_USING_DEVICE_IPC=y
302296CONFIG_RT_UNAMED_PIPE_NUMBER=64
@@ -308,9 +302,14 @@ CONFIG_RT_USING_SERIAL_V1=y
308302# CONFIG_RT_USING_SERIAL_V2 is not set
309303CONFIG_RT_SERIAL_USING_DMA=y
310304CONFIG_RT_SERIAL_RB_BUFSZ=256
311- # CONFIG_RT_USING_SERIAL_BYPASS is not set
305+ CONFIG_RT_USING_SERIAL_BYPASS=y
306+ # CONFIG_RT_SERIAL_EARLY_HVC is not set
307+ # CONFIG_RT_SERIAL_PL011 is not set
308+ # CONFIG_RT_SERIAL_8250 is not set
309+ CONFIG_RT_SERIAL_XILINX_PS=y
312310# CONFIG_RT_USING_CAN is not set
313311CONFIG_RT_USING_CLOCK_TIME=y
312+ CONFIG_RT_CLOCK_TIME_ARM_ARCH=y
314313# CONFIG_RT_USING_I2C is not set
315314# CONFIG_RT_USING_PHY is not set
316315# CONFIG_RT_USING_PHY_V2 is not set
@@ -324,38 +323,70 @@ CONFIG_RT_USING_RANDOM=y
324323# CONFIG_RT_USING_INPUT_CAPTURE is not set
325324# CONFIG_RT_USING_MTD_NOR is not set
326325# CONFIG_RT_USING_MTD_NAND is not set
327- CONFIG_RT_USING_PM=y
328- CONFIG_PM_TICKLESS_THRESHOLD_TIME=2
329- # CONFIG_PM_USING_CUSTOM_CONFIG is not set
330- # CONFIG_PM_ENABLE_DEBUG is not set
331- # CONFIG_PM_ENABLE_SUSPEND_SLEEP_MODE is not set
332- # CONFIG_PM_ENABLE_THRESHOLD_SLEEP_MODE is not set
326+ # CONFIG_RT_USING_PM is not set
333327CONFIG_RT_USING_RTC=y
334- # CONFIG_RT_USING_ALARM is not set
335- CONFIG_RT_USING_SOFT_RTC=y
328+ CONFIG_RT_USING_ALARM=y
329+ CONFIG_RT_ALARM_STACK_SIZE=8192
330+ CONFIG_RT_ALARM_TIMESLICE=5
331+ CONFIG_RT_ALARM_PRIORITY=10
332+ # CONFIG_RT_ALARM_USING_LOCAL_TIME is not set
333+ # CONFIG_RT_USING_SOFT_RTC is not set
334+ # CONFIG_RT_RTC_GOLDFISH is not set
335+ # CONFIG_RT_RTC_PL031 is not set
336+ CONFIG_RT_RTC_ZYNQMP=y
336337# CONFIG_RT_USING_SDIO is not set
337338# CONFIG_RT_USING_SPI is not set
338339# CONFIG_RT_USING_WDT is not set
339340# CONFIG_RT_USING_AUDIO is not set
340341# CONFIG_RT_USING_SENSOR is not set
341342# CONFIG_RT_USING_TOUCH is not set
342- # CONFIG_RT_USING_LCD is not set
343+ # CONFIG_RT_USING_GRAPHIC is not set
343344# CONFIG_RT_USING_HWCRYPTO is not set
344345# CONFIG_RT_USING_WIFI is not set
346+ # CONFIG_RT_USING_LED is not set
347+ # CONFIG_RT_USING_INPUT is not set
348+ # CONFIG_RT_USING_MBOX is not set
349+ # CONFIG_RT_USING_HWSPINLOCK is not set
350+ # CONFIG_RT_USING_RPMSG is not set
351+ # CONFIG_RT_USING_PHYE is not set
345352# CONFIG_RT_USING_BLK is not set
353+ # CONFIG_RT_USING_SCSI is not set
354+ # CONFIG_RT_USING_FIRMWARE is not set
355+ # CONFIG_RT_USING_HWCACHE is not set
346356# CONFIG_RT_USING_REGULATOR is not set
357+ CONFIG_RT_USING_RESET=y
358+ # CONFIG_RT_RESET_SIMPLE is not set
359+
360+ #
361+ # Power Management (PM) Domains device drivers
362+ #
363+ # end of Power Management (PM) Domains device drivers
364+
365+ # CONFIG_RT_USING_POWER_RESET is not set
347366# CONFIG_RT_USING_POWER_SUPPLY is not set
348- CONFIG_RT_USING_VIRTIO=y
349- CONFIG_RT_USING_VIRTIO10=y
350- CONFIG_RT_USING_VIRTIO_MMIO_ALIGN=y
351- CONFIG_RT_USING_VIRTIO_BLK=y
352- # CONFIG_RT_USING_VIRTIO_NET is not set
353- CONFIG_RT_USING_VIRTIO_CONSOLE=y
354- CONFIG_RT_USING_VIRTIO_CONSOLE_PORT_MAX_NR=4
355- CONFIG_RT_USING_VIRTIO_GPU=y
356- CONFIG_RT_USING_VIRTIO_INPUT=y
357- CONFIG_RT_USING_PIN=y
367+ # CONFIG_RT_USING_THERMAL is not set
368+ # CONFIG_RT_USING_VIRTIO is not set
369+ # CONFIG_RT_USING_DMA is not set
370+ # CONFIG_RT_USING_MFD is not set
371+ CONFIG_RT_USING_OFW=y
372+ CONFIG_RT_USING_BUILTIN_FDT=y
373+ CONFIG_RT_BUILTIN_FDT_PATH="zynqmp.dtb"
374+ CONFIG_RT_FDT_EARLYCON_MSG_SIZE=128
375+ CONFIG_RT_USING_OFW_BUS_RANGES_NUMBER=8
376+ # CONFIG_RT_USING_PCI is not set
377+ CONFIG_RT_USING_PIC=y
378+ # CONFIG_RT_USING_PIC_STATISTICS is not set
379+ CONFIG_MAX_HANDLERS=256
380+ CONFIG_RT_PIC_ARM_GIC=y
381+ # CONFIG_RT_PIC_ARM_GIC_V3 is not set
382+ CONFIG_RT_PIC_ARM_GIC_MAX_NR=1
383+ # CONFIG_RT_USING_PIN is not set
384+ CONFIG_RT_USING_CLK=y
358385# CONFIG_RT_USING_CHERRYUSB is not set
386+
387+ #
388+ # SoC (System on Chip) Drivers
389+ #
359390# end of Device Drivers
360391
361392#
@@ -452,7 +483,8 @@ CONFIG_RT_USING_ADT_REF=y
452483# CONFIG_RT_PAGE_MPR_SIZE_DYNAMIC is not set
453484CONFIG_RT_PAGE_AFFINITY_BLOCK_SIZE=0x1000
454485CONFIG_RT_PAGE_MAX_ORDER=11
455- # CONFIG_RT_USING_MEMBLOCK is not set
486+ CONFIG_RT_USING_MEMBLOCK=y
487+ CONFIG_RT_INIT_MEMORY_REGIONS=128
456488
457489#
458490# Debugging
@@ -673,7 +705,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
673705# CONFIG_PKG_USING_U8G2 is not set
674706# end of u8g2: a monochrome graphic library
675707
676- # CONFIG_PKG_USING_NES_SIMULATOR is not set
677708# CONFIG_PKG_USING_OPENMV is not set
678709# CONFIG_PKG_USING_MUPDF is not set
679710# CONFIG_PKG_USING_STEMWIN is not set
@@ -698,9 +729,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
698729#
699730# tools packages
700731#
701- # CONFIG_PKG_USING_VECTOR is not set
702- # CONFIG_PKG_USING_SORCH is not set
703- # CONFIG_PKG_USING_DICT is not set
704732# CONFIG_PKG_USING_CMBACKTRACE is not set
705733# CONFIG_PKG_USING_MCOREDUMP is not set
706734# CONFIG_PKG_USING_EASYFLASH is not set
@@ -749,9 +777,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
749777# CONFIG_PKG_USING_RVBACKTRACE is not set
750778# CONFIG_PKG_USING_HPATCHLITE is not set
751779# CONFIG_PKG_USING_THREAD_METRIC is not set
752- # CONFIG_PKG_USING_UORB is not set
753- # CONFIG_PKG_USING_RT_TUNNEL is not set
754- # CONFIG_PKG_USING_VIRTUAL_TERMINAL is not set
755780# end of tools packages
756781
757782#
@@ -846,9 +871,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
846871# CONFIG_PKG_USING_R_RHEALSTONE is not set
847872# CONFIG_PKG_USING_HEARTBEAT is not set
848873# CONFIG_PKG_USING_MICRO_ROS_RTTHREAD_PACKAGE is not set
849- # CONFIG_PKG_USING_CHERRYECAT is not set
850- # CONFIG_PKG_USING_EVENT_LOOP is not set
851- # CONFIG_PKG_USING_THREAD_MANAGER is not set
852874# end of system packages
853875
854876#
@@ -994,32 +1016,17 @@ CONFIG_RT_PAGE_MAX_ORDER=11
9941016#
9951017# NUVOTON Drivers
9961018#
1019+ # CONFIG_PKG_USING_NUVOTON_CMSIS_DRIVER is not set
9971020# CONFIG_PKG_USING_NUVOTON_SERIES_DRIVER is not set
1021+ # CONFIG_PKG_USING_NUVOTON_ARM926_LIB is not set
9981022# end of NUVOTON Drivers
9991023
10001024#
10011025# GD32 Drivers
10021026#
10031027# CONFIG_PKG_USING_GD32_ARM_CMSIS_DRIVER is not set
10041028# CONFIG_PKG_USING_GD32_ARM_SERIES_DRIVER is not set
1005- # CONFIG_PKG_USING_GD32_RISCV_SERIES_DRIVER is not set
1006- # CONFIG_PKG_USING_GD32VW55X_WIFI is not set
10071029# end of GD32 Drivers
1008-
1009- #
1010- # HPMicro SDK
1011- #
1012- # CONFIG_PKG_USING_HPM_SDK is not set
1013- # end of HPMicro SDK
1014-
1015- #
1016- # FT32 HAL & SDK Drivers
1017- #
1018- # CONFIG_PKG_USING_FT32F0_STD_DRIVER is not set
1019- # CONFIG_PKG_USING_FT32F0_CMSIS_DRIVER is not set
1020- # CONFIG_PKG_USING_FT32F4_STD_DRIVER is not set
1021- # CONFIG_PKG_USING_FT32F4_CMSIS_DRIVER is not set
1022- # end of FT32 HAL & SDK Drivers
10231030# end of HAL & SDK Drivers
10241031
10251032#
@@ -1065,11 +1072,9 @@ CONFIG_RT_PAGE_MAX_ORDER=11
10651072# CONFIG_PKG_USING_RT3020 is not set
10661073# CONFIG_PKG_USING_MLX90632 is not set
10671074# CONFIG_PKG_USING_MLX90382 is not set
1068- # CONFIG_PKG_USING_MLX90384 is not set
10691075# CONFIG_PKG_USING_MLX90393 is not set
10701076# CONFIG_PKG_USING_MLX90392 is not set
10711077# CONFIG_PKG_USING_MLX90394 is not set
1072- # CONFIG_PKG_USING_MLX90396 is not set
10731078# CONFIG_PKG_USING_MLX90397 is not set
10741079# CONFIG_PKG_USING_MS5611 is not set
10751080# CONFIG_PKG_USING_MAX31865 is not set
@@ -1098,7 +1103,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
10981103# CONFIG_PKG_USING_P3T1755 is not set
10991104# CONFIG_PKG_USING_QMI8658 is not set
11001105# CONFIG_PKG_USING_ICM20948 is not set
1101- # CONFIG_PKG_USING_SCD4X is not set
11021106# end of sensors drivers
11031107
11041108#
@@ -1116,7 +1120,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
11161120# CONFIG_PKG_USING_CST812T is not set
11171121# end of touch drivers
11181122
1119- # CONFIG_PKG_USING_LCD_SPI_DRIVER is not set
11201123# CONFIG_PKG_USING_REALTEK_AMEBA is not set
11211124# CONFIG_PKG_USING_BUTTON is not set
11221125# CONFIG_PKG_USING_PCF8574 is not set
@@ -1196,13 +1199,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
11961199# CONFIG_PKG_USING_IC74HC165 is not set
11971200# CONFIG_PKG_USING_IST8310 is not set
11981201# CONFIG_PKG_USING_ST7789_SPI is not set
1199- # CONFIG_PKG_USING_CAN_UDS is not set
1200- # CONFIG_PKG_USING_ISOTP_C is not set
1201- # CONFIG_PKG_USING_IKUNLED is not set
1202- # CONFIG_PKG_USING_INS5T8025 is not set
1203- # CONFIG_PKG_USING_IRUART is not set
1204- # CONFIG_PKG_USING_ST7305 is not set
1205- # CONFIG_PKG_USING_TM1668 is not set
12061202# CONFIG_PKG_USING_SPI_TOOLS is not set
12071203# end of peripheral libraries and drivers
12081204
@@ -1543,14 +1539,3 @@ CONFIG_RT_PAGE_MAX_ORDER=11
15431539# end of RT-Thread online packages
15441540
15451541CONFIG_SOC_ZYNQMP_AARCH64=y
1546-
1547- #
1548- # Hardware Drivers Config
1549- #
1550- CONFIG_BSP_SUPPORT_FPU=y
1551- CONFIG_BSP_USING_UART=y
1552- CONFIG_BSP_USING_UART0=y
1553- CONFIG_BSP_USING_GIC=y
1554- CONFIG_BSP_USING_GICV2=y
1555- # CONFIG_BSP_USING_GICV3 is not set
1556- # end of Hardware Drivers Config
0 commit comments