4
4
#
5
5
CONFIG_RT_NAME_MAX=8
6
6
# CONFIG_RT_USING_ARCH_DATA_TYPE is not set
7
- # CONFIG_RT_USING_SMART is not set
7
+ CONFIG_RT_USING_SMART=y
8
8
# CONFIG_RT_USING_NANO is not set
9
9
# CONFIG_RT_USING_AMP is not set
10
10
# CONFIG_RT_USING_SMP is not set
@@ -17,13 +17,13 @@ CONFIG_RT_THREAD_PRIORITY_MAX=32
17
17
CONFIG_RT_TICK_PER_SECOND=1000
18
18
CONFIG_RT_USING_HOOK=y
19
19
CONFIG_RT_HOOK_USING_FUNC_PTR=y
20
- CONFIG_RT_USING_HOOKLIST=y
20
+ # CONFIG_RT_USING_HOOKLIST is not set
21
21
CONFIG_RT_USING_IDLE_HOOK=y
22
22
CONFIG_RT_IDLE_HOOK_LIST_SIZE=4
23
- CONFIG_IDLE_THREAD_STACK_SIZE=8192
23
+ CONFIG_IDLE_THREAD_STACK_SIZE=16384
24
24
CONFIG_RT_USING_TIMER_SOFT=y
25
25
CONFIG_RT_TIMER_THREAD_PRIO=4
26
- CONFIG_RT_TIMER_THREAD_STACK_SIZE=8192
26
+ CONFIG_RT_TIMER_THREAD_STACK_SIZE=16384
27
27
# CONFIG_RT_USING_TIMER_ALL_SOFT is not set
28
28
CONFIG_RT_USING_CPU_USAGE_TRACER=y
29
29
@@ -65,13 +65,13 @@ CONFIG_RT_USING_MESSAGEQUEUE=y
65
65
# Memory Management
66
66
#
67
67
CONFIG_RT_PAGE_MAX_ORDER=11
68
- CONFIG_RT_USING_MEMPOOL=y
69
- CONFIG_RT_USING_SMALL_MEM=y
70
- # CONFIG_RT_USING_SLAB is not set
68
+ # CONFIG_RT_USING_MEMPOOL is not set
69
+ # CONFIG_RT_USING_SMALL_MEM is not set
70
+ CONFIG_RT_USING_SLAB=y
71
71
# CONFIG_RT_USING_MEMHEAP is not set
72
- CONFIG_RT_USING_SMALL_MEM_AS_HEAP=y
72
+ # CONFIG_RT_USING_SMALL_MEM_AS_HEAP is not set
73
73
# CONFIG_RT_USING_MEMHEAP_AS_HEAP is not set
74
- # CONFIG_RT_USING_SLAB_AS_HEAP is not set
74
+ CONFIG_RT_USING_SLAB_AS_HEAP=y
75
75
# CONFIG_RT_USING_USERHEAP is not set
76
76
# CONFIG_RT_USING_NOHEAP is not set
77
77
# CONFIG_RT_USING_MEMTRACE is not set
@@ -83,7 +83,6 @@ CONFIG_RT_USING_DEVICE=y
83
83
CONFIG_RT_USING_DEVICE_OPS=y
84
84
# CONFIG_RT_USING_INTERRUPT_INFO is not set
85
85
# CONFIG_RT_USING_THREADSAFE_PRINTF is not set
86
- CONFIG_RT_USING_SCHED_THREAD_CTX=y
87
86
CONFIG_RT_USING_CONSOLE=y
88
87
CONFIG_RT_CONSOLEBUF_SIZE=256
89
88
CONFIG_RT_CONSOLE_DEVICE_NAME="uart0"
@@ -95,11 +94,14 @@ CONFIG_RT_BACKTRACE_LEVEL_MAX_NR=32
95
94
CONFIG_ARCH_CPU_64BIT=y
96
95
CONFIG_RT_USING_CACHE=y
97
96
CONFIG_ARCH_MM_MMU=y
97
+ CONFIG_KERNEL_VADDR_START=0xFFFFFFC000200000
98
98
CONFIG_ARCH_RISCV=y
99
99
CONFIG_ARCH_RISCV_FPU=y
100
100
CONFIG_ARCH_RISCV_FPU_D=y
101
101
CONFIG_ARCH_RISCV64=y
102
+ CONFIG_ARCH_USING_NEW_CTX_SWITCH=y
102
103
CONFIG_ARCH_USING_RISCV_COMMON64=y
104
+ CONFIG_ARCH_REMAP_KERNEL=y
103
105
104
106
#
105
107
# RT-Thread Components
@@ -132,8 +134,7 @@ CONFIG_FINSH_USING_OPTION_COMPLETION=y
132
134
CONFIG_RT_USING_DFS=y
133
135
CONFIG_DFS_USING_POSIX=y
134
136
CONFIG_DFS_USING_WORKDIR=y
135
- CONFIG_DFS_FD_MAX=16
136
- # CONFIG_RT_USING_DFS_V1 is not set
137
+ CONFIG_DFS_FD_MAX=128
137
138
CONFIG_RT_USING_DFS_V2=y
138
139
CONFIG_RT_USING_DFS_ELMFAT=y
139
140
@@ -164,9 +165,22 @@ CONFIG_RT_DFS_ELM_MUTEX_TIMEOUT=3000
164
165
CONFIG_RT_USING_DFS_DEVFS=y
165
166
CONFIG_RT_USING_DFS_ROMFS=y
166
167
# CONFIG_RT_USING_DFS_ROMFS_USER_ROOT is not set
168
+ CONFIG_RT_USING_DFS_PTYFS=y
167
169
# CONFIG_RT_USING_DFS_CROMFS is not set
168
- # CONFIG_RT_USING_DFS_TMPFS is not set
170
+ CONFIG_RT_USING_DFS_TMPFS=y
169
171
# CONFIG_RT_USING_DFS_MQUEUE is not set
172
+ CONFIG_RT_USING_PAGECACHE=y
173
+
174
+ #
175
+ # page cache config
176
+ #
177
+ CONFIG_RT_PAGECACHE_COUNT=4096
178
+ CONFIG_RT_PAGECACHE_ASPACE_COUNT=1024
179
+ CONFIG_RT_PAGECACHE_PRELOAD=4
180
+ CONFIG_RT_PAGECACHE_HASH_NR=1024
181
+ CONFIG_RT_PAGECACHE_GC_WORK_LEVEL=90
182
+ CONFIG_RT_PAGECACHE_GC_STOP_LEVEL=70
183
+ # end of page cache config
170
184
# end of DFS: device virtual file system
171
185
172
186
# CONFIG_RT_USING_FAL is not set
@@ -214,7 +228,7 @@ CONFIG_RT_MMCSD_THREAD_PREORITY=22
214
228
CONFIG_RT_MMCSD_MAX_PARTITION=16
215
229
# CONFIG_RT_SDIO_DEBUG is not set
216
230
# CONFIG_RT_USING_SPI is not set
217
- # CONFIG_RT_USING_WDT is not set
231
+ CONFIG_RT_USING_WDT=y
218
232
# CONFIG_RT_USING_AUDIO is not set
219
233
# CONFIG_RT_USING_SENSOR is not set
220
234
# CONFIG_RT_USING_TOUCH is not set
@@ -224,7 +238,7 @@ CONFIG_RT_MMCSD_MAX_PARTITION=16
224
238
# CONFIG_RT_USING_VIRTIO is not set
225
239
CONFIG_RT_USING_PIN=y
226
240
CONFIG_RT_USING_KTIME=y
227
- # CONFIG_RT_USING_HWTIMER is not set
241
+ CONFIG_RT_USING_HWTIMER=y
228
242
# CONFIG_RT_USING_CHERRYUSB is not set
229
243
# end of Device Drivers
230
244
@@ -256,6 +270,9 @@ CONFIG_RT_USING_POSIX_STDIO=y
256
270
CONFIG_RT_USING_POSIX_POLL=y
257
271
CONFIG_RT_USING_POSIX_SELECT=y
258
272
# CONFIG_RT_USING_POSIX_EVENTFD is not set
273
+ CONFIG_RT_USING_POSIX_EPOLL=y
274
+ CONFIG_RT_USING_POSIX_SIGNALFD=y
275
+ CONFIG_RT_SIGNALFD_MAX_NUM=10
259
276
# CONFIG_RT_USING_POSIX_TIMERFD is not set
260
277
CONFIG_RT_USING_POSIX_SOCKET=y
261
278
CONFIG_RT_USING_POSIX_TERMIOS=y
@@ -367,6 +384,7 @@ CONFIG_LWIP_NETIF_LOOPBACK=0
367
384
# CONFIG_RT_LWIP_USING_HW_CHECKSUM is not set
368
385
CONFIG_RT_LWIP_USING_PING=y
369
386
# CONFIG_LWIP_USING_DHCPD is not set
387
+ # CONFIG_RT_LWIP_ENABLE_USER_HOOKS is not set
370
388
# CONFIG_RT_LWIP_DEBUG is not set
371
389
# CONFIG_RT_USING_AT is not set
372
390
# end of Network
@@ -395,6 +413,25 @@ CONFIG_RT_USING_ADT_REF=y
395
413
# end of Utilities
396
414
397
415
# CONFIG_RT_USING_VBUS is not set
416
+ CONFIG_RT_USING_LWP=y
417
+ CONFIG_LWP_DEBUG=y
418
+ # CONFIG_LWP_DEBUG_INIT is not set
419
+ CONFIG_RT_LWP_MAX_NR=30
420
+ CONFIG_LWP_TASK_STACK_SIZE=16384
421
+ CONFIG_RT_CH_MSG_MAX_NR=1024
422
+ CONFIG_LWP_TID_MAX_NR=64
423
+ CONFIG_RT_LWP_SHM_MAX_NR=64
424
+ CONFIG_RT_USING_LDSO=y
425
+ # CONFIG_ELF_DEBUG_ENABLE is not set
426
+ # CONFIG_ELF_LOAD_RANDOMIZE is not set
427
+ CONFIG_LWP_USING_TERMINAL=y
428
+ CONFIG_LWP_PTY_MAX_PARIS_LIMIT=64
429
+
430
+ #
431
+ # Memory management
432
+ #
433
+ # CONFIG_RT_USING_MEMBLOCK is not set
434
+ # end of Memory management
398
435
399
436
#
400
437
# Using USB legacy version
@@ -431,6 +468,7 @@ CONFIG_RT_USING_ADT_REF=y
431
468
# CONFIG_PKG_USING_WEBTERMINAL is not set
432
469
# CONFIG_PKG_USING_FREEMODBUS is not set
433
470
# CONFIG_PKG_USING_NANOPB is not set
471
+ # CONFIG_PKG_USING_WIFI_HOST_DRIVER is not set
434
472
435
473
#
436
474
# Wi-Fi
@@ -535,6 +573,7 @@ CONFIG_RT_USING_ADT_REF=y
535
573
# CONFIG_PKG_USING_ZEPHYR_POLLING is not set
536
574
# CONFIG_PKG_USING_MATTER_ADAPTATION_LAYER is not set
537
575
# CONFIG_PKG_USING_LHC_MODBUS is not set
576
+ # CONFIG_PKG_USING_QMODBUS is not set
538
577
# end of IoT - internet of things
539
578
540
579
#
@@ -562,6 +601,7 @@ CONFIG_RT_USING_ADT_REF=y
562
601
# CONFIG_PKG_USING_JSMN is not set
563
602
# CONFIG_PKG_USING_AGILE_JSMN is not set
564
603
# CONFIG_PKG_USING_PARSON is not set
604
+ # CONFIG_PKG_USING_RYAN_JSON is not set
565
605
# end of JSON: JavaScript Object Notation, a lightweight data-interchange format
566
606
567
607
#
@@ -680,6 +720,8 @@ CONFIG_RT_USING_ADT_REF=y
680
720
# CONFIG_PKG_USING_RT_VSNPRINTF_FULL is not set
681
721
# end of enhanced kernel services
682
722
723
+ # CONFIG_PKG_USING_AUNITY is not set
724
+
683
725
#
684
726
# acceleration: Assembly language or algorithmic acceleration packages
685
727
#
@@ -770,11 +812,29 @@ CONFIG_RT_USING_ADT_REF=y
770
812
#
771
813
# STM32 HAL & SDK Drivers
772
814
#
773
- # CONFIG_PKG_USING_STM32L4XX_HAL_DRIVER is not set
815
+ # CONFIG_PKG_USING_STM32F4_HAL_DRIVER is not set
816
+ # CONFIG_PKG_USING_STM32F4_CMSIS_DRIVER is not set
817
+ # CONFIG_PKG_USING_STM32L4_HAL_DRIVER is not set
818
+ # CONFIG_PKG_USING_STM32L4_CMSIS_DRIVER is not set
774
819
# CONFIG_PKG_USING_STM32WB55_SDK is not set
775
820
# CONFIG_PKG_USING_STM32_SDIO is not set
776
821
# end of STM32 HAL & SDK Drivers
777
822
823
+ #
824
+ # Infineon HAL Packages
825
+ #
826
+ # CONFIG_PKG_USING_INFINEON_CAT1CM0P is not set
827
+ # CONFIG_PKG_USING_INFINEON_CMSIS is not set
828
+ # CONFIG_PKG_USING_INFINEON_CORE_LIB is not set
829
+ # CONFIG_PKG_USING_INFINEON_MTB_HAL_CAT1 is not set
830
+ # CONFIG_PKG_USING_INFINEON_MTB_PDL_CAT1 is not set
831
+ # CONFIG_PKG_USING_INFINEON_RETARGET_IO is not set
832
+ # CONFIG_PKG_USING_INFINEON_CAPSENSE is not set
833
+ # CONFIG_PKG_USING_INFINEON_CSDIDAC is not set
834
+ # CONFIG_PKG_USING_INFINEON_SERIAL_FLASH is not set
835
+ # CONFIG_PKG_USING_INFINEON_USBDEV is not set
836
+ # end of Infineon HAL Packages
837
+
778
838
# CONFIG_PKG_USING_BLUETRUM_SDK is not set
779
839
# CONFIG_PKG_USING_EMBARC_BSP is not set
780
840
# CONFIG_PKG_USING_ESP_IDF is not set
@@ -948,6 +1008,7 @@ CONFIG_RT_USING_ADT_REF=y
948
1008
# CONFIG_PKG_USING_SYSTEM_RUN_LED is not set
949
1009
# CONFIG_PKG_USING_BT_MX01 is not set
950
1010
# CONFIG_PKG_USING_RGPOWER is not set
1011
+ # CONFIG_PKG_USING_BT_MX02 is not set
951
1012
# CONFIG_PKG_USING_SPI_TOOLS is not set
952
1013
# end of peripheral libraries and drivers
953
1014
@@ -969,6 +1030,7 @@ CONFIG_RT_USING_ADT_REF=y
969
1030
#
970
1031
# Signal Processing and Control Algorithm Packages
971
1032
#
1033
+ # CONFIG_PKG_USING_APID is not set
972
1034
# CONFIG_PKG_USING_FIRE_PID_CURVE is not set
973
1035
# CONFIG_PKG_USING_QPID is not set
974
1036
# CONFIG_PKG_USING_UKAL is not set
@@ -1020,7 +1082,13 @@ CONFIG_RT_USING_ADT_REF=y
1020
1082
# CONFIG_PKG_USING_MULTIBUTTON is not set
1021
1083
# CONFIG_PKG_USING_FLEXIBLE_BUTTON is not set
1022
1084
# CONFIG_PKG_USING_CANFESTIVAL is not set
1023
- # CONFIG_PKG_USING_ZLIB is not set
1085
+ CONFIG_PKG_USING_ZLIB=y
1086
+ CONFIG_PKG_ZLIB_PATH="/packages/misc/zlib"
1087
+ # CONFIG_ZLIB_USING_SAMPLE is not set
1088
+ # CONFIG_PKG_USING_ZLIB_V100 is not set
1089
+ # CONFIG_PKG_USING_ZLIB_V123 is not set
1090
+ CONFIG_PKG_USING_ZLIB_LATEST_VERSION=y
1091
+ CONFIG_PKG_ZLIB_VER="latest"
1024
1092
# CONFIG_PKG_USING_MINIZIP is not set
1025
1093
# CONFIG_PKG_USING_HEATSHRINK is not set
1026
1094
# CONFIG_PKG_USING_DSTR is not set
@@ -1056,6 +1124,7 @@ CONFIG_RT_USING_ADT_REF=y
1056
1124
# CONFIG_PKG_USING_ARDUINO_MSGQ_C_CPP_DEMO is not set
1057
1125
# CONFIG_PKG_USING_ARDUINO_SKETCH_LOADER_DEMO is not set
1058
1126
# CONFIG_PKG_USING_ARDUINO_ULTRASOUND_RADAR is not set
1127
+ # CONFIG_PKG_USING_ARDUINO_RTDUINO_SENSORFUSION_SHIELD is not set
1059
1128
# CONFIG_PKG_USING_ARDUINO_NINEINONE_SENSOR_SHIELD is not set
1060
1129
# CONFIG_PKG_USING_ARDUINO_SENSOR_KIT is not set
1061
1130
# CONFIG_PKG_USING_ARDUINO_MATLAB_SUPPORT is not set
@@ -1297,6 +1366,7 @@ CONFIG_BSP_UART_IRQ_BASE=44
1297
1366
# CONFIG_BSP_USING_ADC is not set
1298
1367
# CONFIG_BSP_USING_SPI is not set
1299
1368
# CONFIG_BSP_USING_WDT is not set
1369
+ # CONFIG_BSP_USING_TIMER is not set
1300
1370
# CONFIG_BSP_USING_PWM is not set
1301
1371
# CONFIG_BSP_USING_RTC is not set
1302
1372
# CONFIG_BSP_USING_SDH is not set
@@ -1314,5 +1384,6 @@ CONFIG_SOC_TYPE_SG2002=y
1314
1384
# CONFIG_BOARD_TYPE_MILKV_DUO_SPINOR is not set
1315
1385
CONFIG_BOARD_TYPE_MILKV_DUO256M=y
1316
1386
# CONFIG_BOARD_TYPE_MILKV_DUO256M_SPINOR is not set
1387
+ # CONFIG_BOARD_TYPE_MILKV_DUOS is not set
1317
1388
CONFIG_BSP_ROOTFS_TYPE_ROMFS=y
1318
1389
# CONFIG_BSP_ROOTFS_TYPE_CROMFS is not set
0 commit comments