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#
@@ -194,7 +184,8 @@ CONFIG_RT_USING_INTERRUPT_INFO=y
194184CONFIG_RT_USING_CONSOLE=y
195185CONFIG_RT_CONSOLEBUF_SIZE=256
196186CONFIG_RT_CONSOLE_DEVICE_NAME="uart0"
197- CONFIG_RT_VER_NUM=0x50201
187+ CONFIG_RT_USING_CONSOLE_OUTPUT_CTL=y
188+ CONFIG_RT_VER_NUM=0x50300
198189CONFIG_RT_USING_STDC_ATOMIC=y
199190CONFIG_RT_BACKTRACE_LEVEL_MAX_NR=32
200191# end of RT-Thread Kernel
@@ -295,7 +286,7 @@ CONFIG_RT_USING_DFS_ROMFS=y
295286#
296287# Device Drivers
297288#
298- # CONFIG_RT_USING_DM is not set
289+ CONFIG_RT_USING_DM=y
299290CONFIG_RT_USING_DEV_BUS=y
300291CONFIG_RT_USING_DEVICE_IPC=y
301292CONFIG_RT_UNAMED_PIPE_NUMBER=64
@@ -308,8 +299,13 @@ CONFIG_RT_USING_SERIAL_V1=y
308299CONFIG_RT_SERIAL_USING_DMA=y
309300CONFIG_RT_SERIAL_RB_BUFSZ=256
310301# CONFIG_RT_USING_SERIAL_BYPASS is not set
302+ # CONFIG_RT_SERIAL_EARLY_HVC is not set
303+ # CONFIG_RT_SERIAL_PL011 is not set
304+ # CONFIG_RT_SERIAL_8250 is not set
305+ CONFIG_RT_SERIAL_XILINX_PS=y
311306# CONFIG_RT_USING_CAN is not set
312- # CONFIG_RT_USING_CPUTIME is not set
307+ CONFIG_RT_USING_CLOCK_TIME=y
308+ CONFIG_RT_CLOCK_TIME_ARM_ARCH=y
313309# CONFIG_RT_USING_I2C is not set
314310# CONFIG_RT_USING_PHY is not set
315311# CONFIG_RT_USING_PHY_V2 is not set
@@ -323,38 +319,68 @@ CONFIG_RT_USING_RANDOM=y
323319# CONFIG_RT_USING_INPUT_CAPTURE is not set
324320# CONFIG_RT_USING_MTD_NOR is not set
325321# CONFIG_RT_USING_MTD_NAND is not set
326- CONFIG_RT_USING_PM=y
327- CONFIG_PM_TICKLESS_THRESHOLD_TIME=2
328- # CONFIG_PM_USING_CUSTOM_CONFIG is not set
329- # CONFIG_PM_ENABLE_DEBUG is not set
330- # CONFIG_PM_ENABLE_SUSPEND_SLEEP_MODE is not set
331- # CONFIG_PM_ENABLE_THRESHOLD_SLEEP_MODE is not set
322+ # CONFIG_RT_USING_PM is not set
332323CONFIG_RT_USING_RTC=y
333- # CONFIG_RT_USING_ALARM is not set
334- CONFIG_RT_USING_SOFT_RTC=y
324+ CONFIG_RT_USING_ALARM=y
325+ CONFIG_RT_ALARM_STACK_SIZE=8192
326+ CONFIG_RT_ALARM_TIMESLICE=5
327+ CONFIG_RT_ALARM_PRIORITY=10
328+ # CONFIG_RT_ALARM_USING_LOCAL_TIME is not set
329+ # CONFIG_RT_USING_SOFT_RTC is not set
330+ # CONFIG_RT_RTC_GOLDFISH is not set
331+ # CONFIG_RT_RTC_PL031 is not set
332+ CONFIG_RT_RTC_ZYNQMP=y
335333# CONFIG_RT_USING_SDIO is not set
336334# CONFIG_RT_USING_SPI is not set
337335# CONFIG_RT_USING_WDT is not set
338336# CONFIG_RT_USING_AUDIO is not set
339337# CONFIG_RT_USING_SENSOR is not set
340338# CONFIG_RT_USING_TOUCH is not set
341- # CONFIG_RT_USING_LCD is not set
339+ # CONFIG_RT_USING_GRAPHIC is not set
342340# CONFIG_RT_USING_HWCRYPTO is not set
343341# CONFIG_RT_USING_WIFI is not set
342+ # CONFIG_RT_USING_LED is not set
343+ # CONFIG_RT_USING_INPUT is not set
344+ # CONFIG_RT_USING_MBOX is not set
345+ # CONFIG_RT_USING_HWSPINLOCK is not set
346+ # CONFIG_RT_USING_PHYE is not set
344347# CONFIG_RT_USING_BLK is not set
345- CONFIG_RT_USING_VIRTIO=y
346- CONFIG_RT_USING_VIRTIO10=y
347- CONFIG_RT_USING_VIRTIO_MMIO_ALIGN=y
348- CONFIG_RT_USING_VIRTIO_BLK=y
349- # CONFIG_RT_USING_VIRTIO_NET is not set
350- CONFIG_RT_USING_VIRTIO_CONSOLE=y
351- CONFIG_RT_USING_VIRTIO_CONSOLE_PORT_MAX_NR=4
352- CONFIG_RT_USING_VIRTIO_GPU=y
353- CONFIG_RT_USING_VIRTIO_INPUT=y
354- CONFIG_RT_USING_PIN=y
355- CONFIG_RT_USING_KTIME=y
356- # CONFIG_RT_USING_HWTIMER is not set
348+ # CONFIG_RT_USING_SCSI is not set
349+ # CONFIG_RT_USING_FIRMWARE is not set
350+ # CONFIG_RT_USING_HWCACHE is not set
351+ # CONFIG_RT_USING_REGULATOR is not set
352+ CONFIG_RT_USING_RESET=y
353+ # CONFIG_RT_RESET_SIMPLE is not set
354+
355+ #
356+ # Power Management (PM) Domains device drivers
357+ #
358+ # end of Power Management (PM) Domains device drivers
359+
360+ # CONFIG_RT_USING_POWER_RESET is not set
361+ # CONFIG_RT_USING_POWER_SUPPLY is not set
362+ # CONFIG_RT_USING_THERMAL is not set
363+ # CONFIG_RT_USING_DMA is not set
364+ # CONFIG_RT_USING_MFD is not set
365+ CONFIG_RT_USING_OFW=y
366+ CONFIG_RT_USING_BUILTIN_FDT=y
367+ CONFIG_RT_BUILTIN_FDT_PATH="zynqmp.dtb"
368+ CONFIG_RT_FDT_EARLYCON_MSG_SIZE=128
369+ CONFIG_RT_USING_OFW_BUS_RANGES_NUMBER=8
370+ # CONFIG_RT_USING_PCI is not set
371+ CONFIG_RT_USING_PIC=y
372+ # CONFIG_RT_USING_PIC_STATISTICS is not set
373+ CONFIG_MAX_HANDLERS=256
374+ CONFIG_RT_PIC_ARM_GIC=y
375+ # CONFIG_RT_PIC_ARM_GIC_V3 is not set
376+ CONFIG_RT_PIC_ARM_GIC_MAX_NR=1
377+ # CONFIG_RT_USING_PIN is not set
378+ CONFIG_RT_USING_CLK=y
357379# CONFIG_RT_USING_CHERRYUSB is not set
380+
381+ #
382+ # SoC (System on Chip) Drivers
383+ #
358384# end of Device Drivers
359385
360386#
@@ -445,14 +471,14 @@ CONFIG_RT_USING_ADT_REF=y
445471# CONFIG_RT_USING_RT_LINK is not set
446472# end of Utilities
447473
448- # CONFIG_RT_USING_VBUS is not set
449-
450474#
451475# Memory management
452476#
477+ # CONFIG_RT_PAGE_MPR_SIZE_DYNAMIC is not set
453478CONFIG_RT_PAGE_AFFINITY_BLOCK_SIZE=0x1000
454479CONFIG_RT_PAGE_MAX_ORDER=11
455- # CONFIG_RT_USING_MEMBLOCK is not set
480+ CONFIG_RT_USING_MEMBLOCK=y
481+ CONFIG_RT_INIT_MEMORY_REGIONS=128
456482
457483#
458484# Debugging
@@ -471,6 +497,7 @@ CONFIG_RT_PAGE_MAX_ORDER=11
471497# end of Using USB legacy version
472498
473499# CONFIG_RT_USING_FDT is not set
500+ # CONFIG_RT_USING_RUST is not set
474501# end of RT-Thread Components
475502
476503#
@@ -1506,14 +1533,3 @@ CONFIG_RT_PAGE_MAX_ORDER=11
15061533# end of RT-Thread online packages
15071534
15081535CONFIG_SOC_ZYNQMP_AARCH64=y
1509-
1510- #
1511- # Hardware Drivers Config
1512- #
1513- CONFIG_BSP_SUPPORT_FPU=y
1514- CONFIG_BSP_USING_UART=y
1515- CONFIG_BSP_USING_UART0=y
1516- CONFIG_BSP_USING_GIC=y
1517- CONFIG_BSP_USING_GICV2=y
1518- # CONFIG_BSP_USING_GICV3 is not set
1519- # end of Hardware Drivers Config
0 commit comments