Skip to content

Commit 7df6ef5

Browse files
committed
bsp: k230: increase object name max length to 16
Fixes: 62f3fb4: fix(kernel)/improve(utest):fix the legacy issue related to the length of the object name version RT-Thread#10537 After this patch, if length of object name exceeds (RT_NAME_MAX - 1), RTT will assert and oops when runing, but not in period of building. Though I don't think it's a good solution, but don't want to argue more about this. Old RT_NAME_MAX is 8 for k230, and some object names, such as "hwtimer0", which name length is 8, breaking the new rule. Just update configuration of k230 bsp and increase RT_NAME_MAX from 8 to 16, which should be long enough for k230. Signed-off-by: Chen Wang <[email protected]>
1 parent fbf4856 commit 7df6ef5

File tree

2 files changed

+5
-117
lines changed

2 files changed

+5
-117
lines changed

bsp/k230/.config

Lines changed: 4 additions & 100 deletions
Original file line numberDiff line numberDiff line change
@@ -118,7 +118,7 @@ CONFIG_RT_KLIBC_USING_VSNPRINTF_LOG10_TAYLOR_TERMS=4
118118
# CONFIG_RT_UTEST_TC_USING_KLIBC is not set
119119
# end of klibc options
120120

121-
CONFIG_RT_NAME_MAX=8
121+
CONFIG_RT_NAME_MAX=16
122122
# CONFIG_RT_USING_ARCH_DATA_TYPE is not set
123123
# CONFIG_RT_USING_NANO is not set
124124
CONFIG_RT_USING_SMART=y
@@ -228,6 +228,7 @@ CONFIG_FINSH_THREAD_PRIORITY=20
228228
CONFIG_FINSH_THREAD_STACK_SIZE=8192
229229
CONFIG_FINSH_USING_HISTORY=y
230230
CONFIG_FINSH_HISTORY_LINES=5
231+
# CONFIG_FINSH_USING_WORD_OPERATION is not set
231232
CONFIG_FINSH_USING_SYMTAB=y
232233
CONFIG_FINSH_CMD_SIZE=80
233234
CONFIG_MSH_USING_BUILT_IN_COMMANDS=y
@@ -709,7 +710,6 @@ CONFIG_RT_USING_VDSO=y
709710
# CONFIG_PKG_USING_LHC_MODBUS is not set
710711
# CONFIG_PKG_USING_QMODBUS is not set
711712
# CONFIG_PKG_USING_PNET is not set
712-
# CONFIG_PKG_USING_OPENER is not set
713713
# end of IoT - internet of things
714714

715715
#
@@ -843,7 +843,6 @@ CONFIG_RT_USING_VDSO=y
843843
# CONFIG_PKG_USING_VOFA_PLUS is not set
844844
# CONFIG_PKG_USING_ZDEBUG is not set
845845
# CONFIG_PKG_USING_RVBACKTRACE is not set
846-
# CONFIG_PKG_USING_HPATCHLITE is not set
847846
# end of tools packages
848847

849848
#
@@ -872,6 +871,7 @@ CONFIG_RT_USING_VDSO=y
872871
#
873872
# CONFIG_PKG_USING_CMSIS_5 is not set
874873
# CONFIG_PKG_USING_CMSIS_CORE is not set
874+
# CONFIG_PKG_USING_CMSIS_DSP is not set
875875
# CONFIG_PKG_USING_CMSIS_NN is not set
876876
# CONFIG_PKG_USING_CMSIS_RTOS1 is not set
877877
# CONFIG_PKG_USING_CMSIS_RTOS2 is not set
@@ -923,6 +923,7 @@ CONFIG_RT_USING_VDSO=y
923923
# CONFIG_PKG_USING_ARM_2D is not set
924924
# CONFIG_PKG_USING_MCUBOOT is not set
925925
# CONFIG_PKG_USING_TINYUSB is not set
926+
# CONFIG_PKG_USING_CHERRYUSB is not set
926927
# CONFIG_PKG_USING_KMULTI_RTIMER is not set
927928
# CONFIG_PKG_USING_TFDB is not set
928929
# CONFIG_PKG_USING_QPC is not set
@@ -934,7 +935,6 @@ CONFIG_RT_USING_VDSO=y
934935
# CONFIG_PKG_USING_SFDB is not set
935936
# CONFIG_PKG_USING_RTP is not set
936937
# CONFIG_PKG_USING_REB is not set
937-
# CONFIG_PKG_USING_RMP is not set
938938
# CONFIG_PKG_USING_R_RHEALSTONE is not set
939939
# CONFIG_PKG_USING_HEARTBEAT is not set
940940
# end of system packages
@@ -950,44 +950,12 @@ CONFIG_RT_USING_VDSO=y
950950
#
951951
# STM32 HAL & SDK Drivers
952952
#
953-
# CONFIG_PKG_USING_STM32F0_HAL_DRIVER is not set
954-
# CONFIG_PKG_USING_STM32F0_CMSIS_DRIVER is not set
955-
# CONFIG_PKG_USING_STM32F1_HAL_DRIVER is not set
956-
# CONFIG_PKG_USING_STM32F1_CMSIS_DRIVER is not set
957-
# CONFIG_PKG_USING_STM32F2_HAL_DRIVER is not set
958-
# CONFIG_PKG_USING_STM32F2_CMSIS_DRIVER is not set
959-
# CONFIG_PKG_USING_STM32F3_HAL_DRIVER is not set
960-
# CONFIG_PKG_USING_STM32F3_CMSIS_DRIVER is not set
961953
# CONFIG_PKG_USING_STM32F4_HAL_DRIVER is not set
962954
# CONFIG_PKG_USING_STM32F4_CMSIS_DRIVER is not set
963-
# CONFIG_PKG_USING_STM32F7_HAL_DRIVER is not set
964-
# CONFIG_PKG_USING_STM32F7_CMSIS_DRIVER is not set
965-
# CONFIG_PKG_USING_STM32G0_HAL_DRIVER is not set
966-
# CONFIG_PKG_USING_STM32G0_CMSIS_DRIVER is not set
967-
# CONFIG_PKG_USING_STM32G4_HAL_DRIVER is not set
968-
# CONFIG_PKG_USING_STM32G4_CMSIS_DRIVER is not set
969-
# CONFIG_PKG_USING_STM32H5_HAL_DRIVER is not set
970-
# CONFIG_PKG_USING_STM32H5_CMSIS_DRIVER is not set
971-
# CONFIG_PKG_USING_STM32H7_HAL_DRIVER is not set
972-
# CONFIG_PKG_USING_STM32H7_CMSIS_DRIVER is not set
973-
# CONFIG_PKG_USING_STM32H7RS_HAL_DRIVER is not set
974-
# CONFIG_PKG_USING_STM32H7RS_CMSIS_DRIVER is not set
975-
# CONFIG_PKG_USING_STM32L0_HAL_DRIVER is not set
976-
# CONFIG_PKG_USING_STM32L0_CMSIS_DRIVER is not set
977955
# CONFIG_PKG_USING_STM32L4_HAL_DRIVER is not set
978956
# CONFIG_PKG_USING_STM32L4_CMSIS_DRIVER is not set
979-
# CONFIG_PKG_USING_STM32L5_HAL_DRIVER is not set
980-
# CONFIG_PKG_USING_STM32L5_CMSIS_DRIVER is not set
981-
# CONFIG_PKG_USING_STM32U5_HAL_DRIVER is not set
982-
# CONFIG_PKG_USING_STM32U5_CMSIS_DRIVER is not set
983957
# CONFIG_PKG_USING_STM32WB55_SDK is not set
984958
# CONFIG_PKG_USING_STM32_SDIO is not set
985-
# CONFIG_PKG_USING_STM32WL_HAL_DRIVER is not set
986-
# CONFIG_PKG_USING_STM32WL_CMSIS_DRIVER is not set
987-
# CONFIG_PKG_USING_STM32WB_HAL_DRIVER is not set
988-
# CONFIG_PKG_USING_STM32WB_CMSIS_DRIVER is not set
989-
# CONFIG_PKG_USING_STM32MP1_M4_HAL_DRIVER is not set
990-
# CONFIG_PKG_USING_STM32MP1_M4_CMSIS_DRIVER is not set
991959
# end of STM32 HAL & SDK Drivers
992960

993961
#
@@ -1020,60 +988,6 @@ CONFIG_RT_USING_VDSO=y
1020988
# CONFIG_PKG_USING_NRFX is not set
1021989
# CONFIG_PKG_USING_NUCLEI_SDK is not set
1022990
# CONFIG_PKG_USING_RASPBERRYPI_PICO_SDK is not set
1023-
# CONFIG_PKG_USING_MM32 is not set
1024-
1025-
#
1026-
# WCH HAL & SDK Drivers
1027-
#
1028-
# CONFIG_PKG_USING_CH32V20x_SDK is not set
1029-
# CONFIG_PKG_USING_CH32V307_SDK is not set
1030-
# end of WCH HAL & SDK Drivers
1031-
1032-
#
1033-
# AT32 HAL & SDK Drivers
1034-
#
1035-
# CONFIG_PKG_USING_AT32A403A_HAL_DRIVER is not set
1036-
# CONFIG_PKG_USING_AT32A403A_CMSIS_DRIVER is not set
1037-
# CONFIG_PKG_USING_AT32A423_HAL_DRIVER is not set
1038-
# CONFIG_PKG_USING_AT32A423_CMSIS_DRIVER is not set
1039-
# CONFIG_PKG_USING_AT32F45x_HAL_DRIVER is not set
1040-
# CONFIG_PKG_USING_AT32F45x_CMSIS_DRIVER is not set
1041-
# CONFIG_PKG_USING_AT32F402_405_HAL_DRIVER is not set
1042-
# CONFIG_PKG_USING_AT32F402_405_CMSIS_DRIVER is not set
1043-
# CONFIG_PKG_USING_AT32F403A_407_HAL_DRIVER is not set
1044-
# CONFIG_PKG_USING_AT32F403A_407_CMSIS_DRIVER is not set
1045-
# CONFIG_PKG_USING_AT32F413_HAL_DRIVER is not set
1046-
# CONFIG_PKG_USING_AT32F413_CMSIS_DRIVER is not set
1047-
# CONFIG_PKG_USING_AT32F415_HAL_DRIVER is not set
1048-
# CONFIG_PKG_USING_AT32F415_CMSIS_DRIVER is not set
1049-
# CONFIG_PKG_USING_AT32F421_HAL_DRIVER is not set
1050-
# CONFIG_PKG_USING_AT32F421_CMSIS_DRIVER is not set
1051-
# CONFIG_PKG_USING_AT32F423_HAL_DRIVER is not set
1052-
# CONFIG_PKG_USING_AT32F423_CMSIS_DRIVER is not set
1053-
# CONFIG_PKG_USING_AT32F425_HAL_DRIVER is not set
1054-
# CONFIG_PKG_USING_AT32F425_CMSIS_DRIVER is not set
1055-
# CONFIG_PKG_USING_AT32F435_437_HAL_DRIVER is not set
1056-
# CONFIG_PKG_USING_AT32F435_437_CMSIS_DRIVER is not set
1057-
# CONFIG_PKG_USING_AT32M412_416_HAL_DRIVER is not set
1058-
# CONFIG_PKG_USING_AT32M412_416_CMSIS_DRIVER is not set
1059-
# end of AT32 HAL & SDK Drivers
1060-
1061-
#
1062-
# HC32 DDL Drivers
1063-
#
1064-
# end of HC32 DDL Drivers
1065-
1066-
#
1067-
# NXP HAL & SDK Drivers
1068-
#
1069-
# CONFIG_PKG_USING_NXP_MCX_CMSIS_DRIVER is not set
1070-
# CONFIG_PKG_USING_NXP_MCX_SERIES_DRIVER is not set
1071-
# CONFIG_PKG_USING_NXP_LPC_DRIVER is not set
1072-
# CONFIG_PKG_USING_NXP_LPC55S_DRIVER is not set
1073-
# CONFIG_PKG_USING_NXP_IMX6SX_DRIVER is not set
1074-
# CONFIG_PKG_USING_NXP_IMX6UL_DRIVER is not set
1075-
# CONFIG_PKG_USING_NXP_IMXRT_DRIVER is not set
1076-
# end of NXP HAL & SDK Drivers
1077991
# end of HAL & SDK Drivers
1078992

1079993
#
@@ -1111,14 +1025,12 @@ CONFIG_RT_USING_VDSO=y
11111025
# CONFIG_PKG_USING_BMI088 is not set
11121026
# CONFIG_PKG_USING_HMC5883 is not set
11131027
# CONFIG_PKG_USING_MAX6675 is not set
1114-
# CONFIG_PKG_USING_MAX31855 is not set
11151028
# CONFIG_PKG_USING_TMP1075 is not set
11161029
# CONFIG_PKG_USING_SR04 is not set
11171030
# CONFIG_PKG_USING_CCS811 is not set
11181031
# CONFIG_PKG_USING_PMSXX is not set
11191032
# CONFIG_PKG_USING_RT3020 is not set
11201033
# CONFIG_PKG_USING_MLX90632 is not set
1121-
# CONFIG_PKG_USING_MLX90382 is not set
11221034
# CONFIG_PKG_USING_MLX90393 is not set
11231035
# CONFIG_PKG_USING_MLX90392 is not set
11241036
# CONFIG_PKG_USING_MLX90394 is not set
@@ -1147,8 +1059,6 @@ CONFIG_RT_USING_VDSO=y
11471059
# CONFIG_PKG_USING_ICM20608 is not set
11481060
# CONFIG_PKG_USING_PAJ7620 is not set
11491061
# CONFIG_PKG_USING_STHS34PF80 is not set
1150-
# CONFIG_PKG_USING_P3T1755 is not set
1151-
# CONFIG_PKG_USING_QMI8658 is not set
11521062
# end of sensors drivers
11531063

11541064
#
@@ -1240,9 +1150,6 @@ CONFIG_RT_USING_VDSO=y
12401150
# CONFIG_PKG_USING_BT_MX02 is not set
12411151
# CONFIG_PKG_USING_GC9A01 is not set
12421152
# CONFIG_PKG_USING_IK485 is not set
1243-
# CONFIG_PKG_USING_SERVO is not set
1244-
# CONFIG_PKG_USING_SEAN_WS2812B is not set
1245-
# CONFIG_PKG_USING_IC74HC165 is not set
12461153
# CONFIG_PKG_USING_SPI_TOOLS is not set
12471154
# end of peripheral libraries and drivers
12481155

@@ -1259,7 +1166,6 @@ CONFIG_RT_USING_VDSO=y
12591166
# CONFIG_PKG_USING_QUEST is not set
12601167
# CONFIG_PKG_USING_NAXOS is not set
12611168
# CONFIG_PKG_USING_R_TINYMAIX is not set
1262-
# CONFIG_PKG_USING_LLMCHAT is not set
12631169
# end of AI packages
12641170

12651171
#
@@ -1336,7 +1242,6 @@ CONFIG_PKG_ZLIB_VER="latest"
13361242
# CONFIG_PKG_USING_KI is not set
13371243
# CONFIG_PKG_USING_ARMv7M_DWT is not set
13381244
# CONFIG_PKG_USING_CRCLIB is not set
1339-
# CONFIG_PKG_USING_LIBCRC is not set
13401245
# CONFIG_PKG_USING_LWGPS is not set
13411246
# CONFIG_PKG_USING_STATE_MACHINE is not set
13421247
# CONFIG_PKG_USING_DESIGN_PATTERN is not set
@@ -1347,7 +1252,6 @@ CONFIG_PKG_ZLIB_VER="latest"
13471252
# CONFIG_PKG_USING_SOEM is not set
13481253
# CONFIG_PKG_USING_QPARAM is not set
13491254
# CONFIG_PKG_USING_CorevMCU_CLI is not set
1350-
# CONFIG_PKG_USING_DRMP is not set
13511255
# end of miscellaneous packages
13521256

13531257
#

bsp/k230/rtconfig.h

Lines changed: 1 addition & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,7 @@
7272

7373
/* end of rt_strnlen options */
7474
/* end of klibc options */
75-
#define RT_NAME_MAX 8
75+
#define RT_NAME_MAX 16
7676
#define RT_USING_SMART
7777
#define RT_CPUS_NR 1
7878
#define RT_ALIGN_SIZE 8
@@ -478,22 +478,6 @@
478478
/* Kendryte SDK */
479479

480480
/* end of Kendryte SDK */
481-
482-
/* WCH HAL & SDK Drivers */
483-
484-
/* end of WCH HAL & SDK Drivers */
485-
486-
/* AT32 HAL & SDK Drivers */
487-
488-
/* end of AT32 HAL & SDK Drivers */
489-
490-
/* HC32 DDL Drivers */
491-
492-
/* end of HC32 DDL Drivers */
493-
494-
/* NXP HAL & SDK Drivers */
495-
496-
/* end of NXP HAL & SDK Drivers */
497481
/* end of HAL & SDK Drivers */
498482

499483
/* sensors drivers */

0 commit comments

Comments
 (0)