2
2
#
3
3
# RT-Thread Kernel
4
4
#
5
+
6
+ #
7
+ # klibc options
8
+ #
9
+
10
+ #
11
+ # rt_vsnprintf options
12
+ #
13
+ # 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
26
+ # end of rt_vsnprintf options
27
+
28
+ #
29
+ # rt_vsscanf options
30
+ #
31
+ # CONFIG_RT_KLIBC_USING_LIBC_VSSCANF is not set
32
+ # end of rt_vsscanf options
33
+
34
+ #
35
+ # rt_memset options
36
+ #
37
+ # CONFIG_RT_KLIBC_USING_USER_MEMSET is not set
38
+ # CONFIG_RT_KLIBC_USING_LIBC_MEMSET is not set
39
+ # CONFIG_RT_KLIBC_USING_TINY_MEMSET is not set
40
+ # end of rt_memset options
41
+
42
+ #
43
+ # rt_memcpy options
44
+ #
45
+ # CONFIG_RT_KLIBC_USING_USER_MEMCPY is not set
46
+ # CONFIG_RT_KLIBC_USING_LIBC_MEMCPY is not set
47
+ # CONFIG_RT_KLIBC_USING_TINY_MEMCPY is not set
48
+ # end of rt_memcpy options
49
+
50
+ #
51
+ # rt_memmove options
52
+ #
53
+ # CONFIG_RT_KLIBC_USING_USER_MEMMOVE is not set
54
+ # CONFIG_RT_KLIBC_USING_LIBC_MEMMOVE is not set
55
+ # end of rt_memmove options
56
+
57
+ #
58
+ # rt_memcmp options
59
+ #
60
+ # CONFIG_RT_KLIBC_USING_USER_MEMCMP is not set
61
+ # CONFIG_RT_KLIBC_USING_LIBC_MEMCMP is not set
62
+ # end of rt_memcmp options
63
+
64
+ #
65
+ # rt_strstr options
66
+ #
67
+ # CONFIG_RT_KLIBC_USING_USER_STRSTR is not set
68
+ # CONFIG_RT_KLIBC_USING_LIBC_STRSTR is not set
69
+ # end of rt_strstr options
70
+
71
+ #
72
+ # rt_strcasecmp options
73
+ #
74
+ # CONFIG_RT_KLIBC_USING_USER_STRCASECMP is not set
75
+ # end of rt_strcasecmp options
76
+
77
+ #
78
+ # rt_strncpy options
79
+ #
80
+ # CONFIG_RT_KLIBC_USING_USER_STRNCPY is not set
81
+ # CONFIG_RT_KLIBC_USING_LIBC_STRNCPY is not set
82
+ # end of rt_strncpy options
83
+
84
+ #
85
+ # rt_strcpy options
86
+ #
87
+ # CONFIG_RT_KLIBC_USING_USER_STRCPY is not set
88
+ # CONFIG_RT_KLIBC_USING_LIBC_STRCPY is not set
89
+ # end of rt_strcpy options
90
+
91
+ #
92
+ # rt_strncmp options
93
+ #
94
+ # CONFIG_RT_KLIBC_USING_USER_STRNCMP is not set
95
+ # CONFIG_RT_KLIBC_USING_LIBC_STRNCMP is not set
96
+ # end of rt_strncmp options
97
+
98
+ #
99
+ # rt_strcmp options
100
+ #
101
+ # CONFIG_RT_KLIBC_USING_USER_STRCMP is not set
102
+ # CONFIG_RT_KLIBC_USING_LIBC_STRCMP is not set
103
+ # end of rt_strcmp options
104
+
105
+ #
106
+ # rt_strlen options
107
+ #
108
+ # CONFIG_RT_KLIBC_USING_USER_STRLEN is not set
109
+ # CONFIG_RT_KLIBC_USING_LIBC_STRLEN is not set
110
+ # end of rt_strlen options
111
+
112
+ #
113
+ # rt_strnlen options
114
+ #
115
+ # CONFIG_RT_KLIBC_USING_USER_STRNLEN is not set
116
+ # end of rt_strnlen options
117
+
118
+ # CONFIG_RT_UTEST_TC_USING_KLIBC is not set
119
+ # end of klibc options
120
+
5
121
CONFIG_RT_NAME_MAX=32
6
122
# CONFIG_RT_USING_ARCH_DATA_TYPE is not set
7
- # CONFIG_RT_USING_SMART is not set
8
123
# CONFIG_RT_USING_NANO is not set
124
+ # CONFIG_RT_USING_SMART is not set
9
125
# CONFIG_RT_USING_AMP is not set
10
126
# CONFIG_RT_USING_SMP is not set
11
127
CONFIG_RT_CPUS_NR=1
@@ -15,6 +131,7 @@ CONFIG_RT_THREAD_PRIORITY_32=y
15
131
# CONFIG_RT_THREAD_PRIORITY_256 is not set
16
132
CONFIG_RT_THREAD_PRIORITY_MAX=32
17
133
CONFIG_RT_TICK_PER_SECOND=1000
134
+ CONFIG_RT_USING_OVERFLOW_CHECK=y
18
135
CONFIG_RT_USING_HOOK=y
19
136
CONFIG_RT_HOOK_USING_FUNC_PTR=y
20
137
# CONFIG_RT_USING_HOOKLIST is not set
@@ -28,25 +145,17 @@ CONFIG_RT_TIMER_THREAD_STACK_SIZE=2048
28
145
# CONFIG_RT_USING_CPU_USAGE_TRACER is not set
29
146
30
147
#
31
- # kservice optimization
148
+ # kservice options
32
149
#
33
150
# CONFIG_RT_USING_TINY_FFS is not set
34
- # end of kservice optimization
35
-
36
- #
37
- # klibc optimization
38
- #
39
- # CONFIG_RT_KLIBC_USING_STDLIB is not set
40
- # CONFIG_RT_KLIBC_USING_TINY_SIZE is not set
41
- CONFIG_RT_KLIBC_USING_PRINTF_LONGLONG=y
42
- # end of klibc optimization
151
+ # end of kservice options
43
152
44
153
CONFIG_RT_USING_DEBUG=y
45
154
CONFIG_RT_DEBUGING_ASSERT=y
46
155
CONFIG_RT_DEBUGING_COLOR=y
47
156
CONFIG_RT_DEBUGING_CONTEXT=y
48
157
# CONFIG_RT_DEBUGING_AUTO_INIT is not set
49
- CONFIG_RT_USING_OVERFLOW_CHECK=y
158
+ # CONFIG_RT_USING_CI_ACTION is not set
50
159
51
160
#
52
161
# Inter-Thread communication
@@ -81,7 +190,6 @@ CONFIG_RT_USING_DEVICE=y
81
190
# CONFIG_RT_USING_DEVICE_OPS is not set
82
191
# CONFIG_RT_USING_INTERRUPT_INFO is not set
83
192
# CONFIG_RT_USING_THREADSAFE_PRINTF is not set
84
- # CONFIG_RT_USING_SCHED_THREAD_CTX is not set
85
193
CONFIG_RT_USING_CONSOLE=y
86
194
CONFIG_RT_CONSOLEBUF_SIZE=512
87
195
CONFIG_RT_CONSOLE_DEVICE_NAME="uart1"
@@ -95,6 +203,7 @@ CONFIG_ARCH_RISCV=y
95
203
CONFIG_ARCH_RISCV_FPU=y
96
204
CONFIG_ARCH_RISCV_FPU_D=y
97
205
CONFIG_ARCH_RISCV64=y
206
+ CONFIG_ARCH_USING_NEW_CTX_SWITCH=y
98
207
99
208
#
100
209
# RT-Thread Components
@@ -142,10 +251,12 @@ CONFIG_RT_USING_SERIAL_V1=y
142
251
# CONFIG_RT_USING_SERIAL_V2 is not set
143
252
CONFIG_RT_SERIAL_USING_DMA=y
144
253
CONFIG_RT_SERIAL_RB_BUFSZ=64
254
+ # CONFIG_RT_USING_SERIAL_BYPASS is not set
145
255
# CONFIG_RT_USING_CAN is not set
146
256
# CONFIG_RT_USING_CPUTIME is not set
147
257
# CONFIG_RT_USING_I2C is not set
148
258
# CONFIG_RT_USING_PHY is not set
259
+ # CONFIG_RT_USING_PHY_V2 is not set
149
260
# CONFIG_RT_USING_ADC is not set
150
261
# CONFIG_RT_USING_DAC is not set
151
262
# CONFIG_RT_USING_NULL is not set
@@ -167,6 +278,7 @@ CONFIG_RT_SERIAL_RB_BUFSZ=64
167
278
# CONFIG_RT_USING_LCD is not set
168
279
# CONFIG_RT_USING_HWCRYPTO is not set
169
280
# CONFIG_RT_USING_WIFI is not set
281
+ # CONFIG_RT_USING_BLK is not set
170
282
# CONFIG_RT_USING_VIRTIO is not set
171
283
CONFIG_RT_USING_PIN=y
172
284
# CONFIG_RT_USING_KTIME is not set
@@ -390,6 +502,7 @@ CONFIG_RT_LIBC_TZ_DEFAULT_SEC=0
390
502
# CONFIG_PKG_USING_MATTER_ADAPTATION_LAYER is not set
391
503
# CONFIG_PKG_USING_LHC_MODBUS is not set
392
504
# CONFIG_PKG_USING_QMODBUS is not set
505
+ # CONFIG_PKG_USING_PNET is not set
393
506
# end of IoT - internet of things
394
507
395
508
#
@@ -522,6 +635,7 @@ CONFIG_RT_LIBC_TZ_DEFAULT_SEC=0
522
635
# CONFIG_PKG_USING_ARMV7M_DWT_TOOL is not set
523
636
# CONFIG_PKG_USING_VOFA_PLUS is not set
524
637
# CONFIG_PKG_USING_ZDEBUG is not set
638
+ # CONFIG_PKG_USING_RVBACKTRACE is not set
525
639
# end of tools packages
526
640
527
641
#
@@ -533,7 +647,6 @@ CONFIG_RT_LIBC_TZ_DEFAULT_SEC=0
533
647
#
534
648
# CONFIG_PKG_USING_RT_MEMCPY_CM is not set
535
649
# CONFIG_PKG_USING_RT_KPRINTF_THREADSAFE is not set
536
- # CONFIG_PKG_USING_RT_VSNPRINTF_FULL is not set
537
650
# end of enhanced kernel services
538
651
539
652
# CONFIG_PKG_USING_AUNITY is not set
@@ -611,10 +724,12 @@ CONFIG_RT_LIBC_TZ_DEFAULT_SEC=0
611
724
# CONFIG_PKG_USING_FLASH_BLOB is not set
612
725
# CONFIG_PKG_USING_MLIBC is not set
613
726
# CONFIG_PKG_USING_TASK_MSG_BUS is not set
727
+ # CONFIG_PKG_USING_UART_FRAMEWORK is not set
614
728
# CONFIG_PKG_USING_SFDB is not set
615
729
# CONFIG_PKG_USING_RTP is not set
616
730
# CONFIG_PKG_USING_REB is not set
617
731
# CONFIG_PKG_USING_R_RHEALSTONE is not set
732
+ # CONFIG_PKG_USING_HEARTBEAT is not set
618
733
# end of system packages
619
734
620
735
#
@@ -711,6 +826,7 @@ CONFIG_RT_LIBC_TZ_DEFAULT_SEC=0
711
826
# CONFIG_PKG_USING_MLX90632 is not set
712
827
# CONFIG_PKG_USING_MLX90393 is not set
713
828
# CONFIG_PKG_USING_MLX90392 is not set
829
+ # CONFIG_PKG_USING_MLX90394 is not set
714
830
# CONFIG_PKG_USING_MLX90397 is not set
715
831
# CONFIG_PKG_USING_MS5611 is not set
716
832
# CONFIG_PKG_USING_MAX31865 is not set
@@ -825,6 +941,8 @@ CONFIG_RT_LIBC_TZ_DEFAULT_SEC=0
825
941
# CONFIG_PKG_USING_BT_MX01 is not set
826
942
# CONFIG_PKG_USING_RGPOWER is not set
827
943
# CONFIG_PKG_USING_BT_MX02 is not set
944
+ # CONFIG_PKG_USING_GC9A01 is not set
945
+ # CONFIG_PKG_USING_IK485 is not set
828
946
# CONFIG_PKG_USING_SPI_TOOLS is not set
829
947
# end of peripheral libraries and drivers
830
948
@@ -934,6 +1052,7 @@ CONFIG_RT_LIBC_TZ_DEFAULT_SEC=0
934
1052
# CONFIG_PKG_USING_ARDUINO_MSGQ_C_CPP_DEMO is not set
935
1053
# CONFIG_PKG_USING_ARDUINO_SKETCH_LOADER_DEMO is not set
936
1054
# CONFIG_PKG_USING_ARDUINO_ULTRASOUND_RADAR is not set
1055
+ # CONFIG_PKG_USING_ARDUINO_RTDUINO_SENSORFUSION_SHIELD is not set
937
1056
# CONFIG_PKG_USING_ARDUINO_NINEINONE_SENSOR_SHIELD is not set
938
1057
# CONFIG_PKG_USING_ARDUINO_SENSOR_KIT is not set
939
1058
# CONFIG_PKG_USING_ARDUINO_MATLAB_SUPPORT is not set
@@ -1175,6 +1294,7 @@ CONFIG_BSP_UART_IRQ_BASE=30
1175
1294
# CONFIG_BSP_USING_ADC is not set
1176
1295
# CONFIG_BSP_USING_SPI is not set
1177
1296
# CONFIG_BSP_USING_WDT is not set
1297
+ # CONFIG_BSP_USING_TIMER is not set
1178
1298
# CONFIG_BSP_USING_PWM is not set
1179
1299
# CONFIG_BSP_USING_RTC is not set
1180
1300
# end of General Drivers Configuration
@@ -1187,6 +1307,5 @@ CONFIG_BSP_GPIO_IRQ_BASE=41
1187
1307
CONFIG_BSP_SYS_GPIO_IRQ_BASE=47
1188
1308
CONFIG_SOC_TYPE_SG2002=y
1189
1309
# CONFIG_BOARD_TYPE_MILKV_DUO is not set
1190
- # CONFIG_BOARD_TYPE_MILKV_DUO_SPINOR is not set
1191
1310
CONFIG_BOARD_TYPE_MILKV_DUO256M=y
1192
- # CONFIG_BOARD_TYPE_MILKV_DUO256M_SPINOR is not set
1311
+ # CONFIG_BOARD_TYPE_MILKV_DUOS is not set
0 commit comments