@@ -204,6 +204,9 @@ CONFIG_ARCH_MM_MMU=y
204
204
CONFIG_KERNEL_VADDR_START=0xffffffc000000000
205
205
CONFIG_ARCH_RISCV=y
206
206
CONFIG_ARCH_RISCV_FPU=y
207
+ CONFIG_ARCH_RISCV_VECTOR=y
208
+ CONFIG_ARCH_VECTOR_VLEN_128=y
209
+ # CONFIG_ARCH_VECTOR_VLEN_256 is not set
207
210
CONFIG_ARCH_RISCV_FPU_D=y
208
211
CONFIG_ARCH_RISCV64=y
209
212
CONFIG_ARCH_USING_NEW_CTX_SWITCH=y
@@ -706,6 +709,7 @@ CONFIG_RT_USING_VDSO=y
706
709
# CONFIG_PKG_USING_LHC_MODBUS is not set
707
710
# CONFIG_PKG_USING_QMODBUS is not set
708
711
# CONFIG_PKG_USING_PNET is not set
712
+ # CONFIG_PKG_USING_OPENER is not set
709
713
# end of IoT - internet of things
710
714
711
715
#
@@ -839,6 +843,7 @@ CONFIG_RT_USING_VDSO=y
839
843
# CONFIG_PKG_USING_VOFA_PLUS is not set
840
844
# CONFIG_PKG_USING_ZDEBUG is not set
841
845
# CONFIG_PKG_USING_RVBACKTRACE is not set
846
+ # CONFIG_PKG_USING_HPATCHLITE is not set
842
847
# end of tools packages
843
848
844
849
#
@@ -867,7 +872,6 @@ CONFIG_RT_USING_VDSO=y
867
872
#
868
873
# CONFIG_PKG_USING_CMSIS_5 is not set
869
874
# CONFIG_PKG_USING_CMSIS_CORE is not set
870
- # CONFIG_PKG_USING_CMSIS_DSP is not set
871
875
# CONFIG_PKG_USING_CMSIS_NN is not set
872
876
# CONFIG_PKG_USING_CMSIS_RTOS1 is not set
873
877
# CONFIG_PKG_USING_CMSIS_RTOS2 is not set
@@ -919,7 +923,6 @@ CONFIG_RT_USING_VDSO=y
919
923
# CONFIG_PKG_USING_ARM_2D is not set
920
924
# CONFIG_PKG_USING_MCUBOOT is not set
921
925
# CONFIG_PKG_USING_TINYUSB is not set
922
- # CONFIG_PKG_USING_CHERRYUSB is not set
923
926
# CONFIG_PKG_USING_KMULTI_RTIMER is not set
924
927
# CONFIG_PKG_USING_TFDB is not set
925
928
# CONFIG_PKG_USING_QPC is not set
@@ -931,6 +934,7 @@ CONFIG_RT_USING_VDSO=y
931
934
# CONFIG_PKG_USING_SFDB is not set
932
935
# CONFIG_PKG_USING_RTP is not set
933
936
# CONFIG_PKG_USING_REB is not set
937
+ # CONFIG_PKG_USING_RMP is not set
934
938
# CONFIG_PKG_USING_R_RHEALSTONE is not set
935
939
# CONFIG_PKG_USING_HEARTBEAT is not set
936
940
# end of system packages
@@ -946,12 +950,44 @@ CONFIG_RT_USING_VDSO=y
946
950
#
947
951
# STM32 HAL & SDK Drivers
948
952
#
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
949
961
# CONFIG_PKG_USING_STM32F4_HAL_DRIVER is not set
950
962
# 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
951
977
# CONFIG_PKG_USING_STM32L4_HAL_DRIVER is not set
952
978
# 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
953
983
# CONFIG_PKG_USING_STM32WB55_SDK is not set
954
984
# 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
955
991
# end of STM32 HAL & SDK Drivers
956
992
957
993
#
@@ -984,6 +1020,60 @@ CONFIG_RT_USING_VDSO=y
984
1020
# CONFIG_PKG_USING_NRFX is not set
985
1021
# CONFIG_PKG_USING_NUCLEI_SDK is not set
986
1022
# 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
987
1077
# end of HAL & SDK Drivers
988
1078
989
1079
#
@@ -1021,12 +1111,14 @@ CONFIG_RT_USING_VDSO=y
1021
1111
# CONFIG_PKG_USING_BMI088 is not set
1022
1112
# CONFIG_PKG_USING_HMC5883 is not set
1023
1113
# CONFIG_PKG_USING_MAX6675 is not set
1114
+ # CONFIG_PKG_USING_MAX31855 is not set
1024
1115
# CONFIG_PKG_USING_TMP1075 is not set
1025
1116
# CONFIG_PKG_USING_SR04 is not set
1026
1117
# CONFIG_PKG_USING_CCS811 is not set
1027
1118
# CONFIG_PKG_USING_PMSXX is not set
1028
1119
# CONFIG_PKG_USING_RT3020 is not set
1029
1120
# CONFIG_PKG_USING_MLX90632 is not set
1121
+ # CONFIG_PKG_USING_MLX90382 is not set
1030
1122
# CONFIG_PKG_USING_MLX90393 is not set
1031
1123
# CONFIG_PKG_USING_MLX90392 is not set
1032
1124
# CONFIG_PKG_USING_MLX90394 is not set
@@ -1055,6 +1147,8 @@ CONFIG_RT_USING_VDSO=y
1055
1147
# CONFIG_PKG_USING_ICM20608 is not set
1056
1148
# CONFIG_PKG_USING_PAJ7620 is not set
1057
1149
# CONFIG_PKG_USING_STHS34PF80 is not set
1150
+ # CONFIG_PKG_USING_P3T1755 is not set
1151
+ # CONFIG_PKG_USING_QMI8658 is not set
1058
1152
# end of sensors drivers
1059
1153
1060
1154
#
@@ -1146,6 +1240,9 @@ CONFIG_RT_USING_VDSO=y
1146
1240
# CONFIG_PKG_USING_BT_MX02 is not set
1147
1241
# CONFIG_PKG_USING_GC9A01 is not set
1148
1242
# 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
1149
1246
# CONFIG_PKG_USING_SPI_TOOLS is not set
1150
1247
# end of peripheral libraries and drivers
1151
1248
@@ -1162,6 +1259,7 @@ CONFIG_RT_USING_VDSO=y
1162
1259
# CONFIG_PKG_USING_QUEST is not set
1163
1260
# CONFIG_PKG_USING_NAXOS is not set
1164
1261
# CONFIG_PKG_USING_R_TINYMAIX is not set
1262
+ # CONFIG_PKG_USING_LLMCHAT is not set
1165
1263
# end of AI packages
1166
1264
1167
1265
#
@@ -1238,6 +1336,7 @@ CONFIG_PKG_ZLIB_VER="latest"
1238
1336
# CONFIG_PKG_USING_KI is not set
1239
1337
# CONFIG_PKG_USING_ARMv7M_DWT is not set
1240
1338
# CONFIG_PKG_USING_CRCLIB is not set
1339
+ # CONFIG_PKG_USING_LIBCRC is not set
1241
1340
# CONFIG_PKG_USING_LWGPS is not set
1242
1341
# CONFIG_PKG_USING_STATE_MACHINE is not set
1243
1342
# CONFIG_PKG_USING_DESIGN_PATTERN is not set
@@ -1248,6 +1347,7 @@ CONFIG_PKG_ZLIB_VER="latest"
1248
1347
# CONFIG_PKG_USING_SOEM is not set
1249
1348
# CONFIG_PKG_USING_QPARAM is not set
1250
1349
# CONFIG_PKG_USING_CorevMCU_CLI is not set
1350
+ # CONFIG_PKG_USING_DRMP is not set
1251
1351
# end of miscellaneous packages
1252
1352
1253
1353
#
@@ -1491,6 +1591,7 @@ CONFIG_PKG_ZLIB_VER="latest"
1491
1591
# Drivers Configuration
1492
1592
#
1493
1593
# CONFIG_BSP_USING_ADC is not set
1594
+ # CONFIG_BSP_USING_PWM is not set
1494
1595
CONFIG_BSP_USING_HARDLOCK=y
1495
1596
CONFIG_BSP_USING_SDIO=y
1496
1597
CONFIG_BSP_USING_SDIO0=y
@@ -1503,7 +1604,9 @@ CONFIG_BSP_SD_MNT_DEVNAME="sd0p1"
1503
1604
# CONFIG_BSP_UTEST_DRIVERS is not set
1504
1605
# end of Drivers Configuration
1505
1606
1506
- CONFIG_BOARD_fpgac908 =y
1607
+ CONFIG_BOARD_C908 =y
1507
1608
CONFIG___STACKSIZE__=65536
1508
1609
CONFIG_BSP_ROOTFS_TYPE_ELMFAT=y
1509
1610
# CONFIG_BSP_ROOTFS_TYPE_CROMFS is not set
1611
+ # CONFIG_BSP_RISCV_FPU_SOFT is not set
1612
+ CONFIG_BSP_RISCV_FPU_D=y
0 commit comments