@@ -204,6 +204,9 @@ CONFIG_ARCH_MM_MMU=y
204204CONFIG_KERNEL_VADDR_START=0xffffffc000000000
205205CONFIG_ARCH_RISCV=y
206206CONFIG_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
207210CONFIG_ARCH_RISCV_FPU_D=y
208211CONFIG_ARCH_RISCV64=y
209212CONFIG_ARCH_USING_NEW_CTX_SWITCH=y
@@ -706,6 +709,7 @@ CONFIG_RT_USING_VDSO=y
706709# CONFIG_PKG_USING_LHC_MODBUS is not set
707710# CONFIG_PKG_USING_QMODBUS is not set
708711# CONFIG_PKG_USING_PNET is not set
712+ # CONFIG_PKG_USING_OPENER is not set
709713# end of IoT - internet of things
710714
711715#
@@ -839,6 +843,7 @@ CONFIG_RT_USING_VDSO=y
839843# CONFIG_PKG_USING_VOFA_PLUS is not set
840844# CONFIG_PKG_USING_ZDEBUG is not set
841845# CONFIG_PKG_USING_RVBACKTRACE is not set
846+ # CONFIG_PKG_USING_HPATCHLITE is not set
842847# end of tools packages
843848
844849#
@@ -867,7 +872,6 @@ CONFIG_RT_USING_VDSO=y
867872#
868873# CONFIG_PKG_USING_CMSIS_5 is not set
869874# CONFIG_PKG_USING_CMSIS_CORE is not set
870- # CONFIG_PKG_USING_CMSIS_DSP is not set
871875# CONFIG_PKG_USING_CMSIS_NN is not set
872876# CONFIG_PKG_USING_CMSIS_RTOS1 is not set
873877# CONFIG_PKG_USING_CMSIS_RTOS2 is not set
@@ -919,7 +923,6 @@ CONFIG_RT_USING_VDSO=y
919923# CONFIG_PKG_USING_ARM_2D is not set
920924# CONFIG_PKG_USING_MCUBOOT is not set
921925# CONFIG_PKG_USING_TINYUSB is not set
922- # CONFIG_PKG_USING_CHERRYUSB is not set
923926# CONFIG_PKG_USING_KMULTI_RTIMER is not set
924927# CONFIG_PKG_USING_TFDB is not set
925928# CONFIG_PKG_USING_QPC is not set
@@ -931,6 +934,7 @@ CONFIG_RT_USING_VDSO=y
931934# CONFIG_PKG_USING_SFDB is not set
932935# CONFIG_PKG_USING_RTP is not set
933936# CONFIG_PKG_USING_REB is not set
937+ # CONFIG_PKG_USING_RMP is not set
934938# CONFIG_PKG_USING_R_RHEALSTONE is not set
935939# CONFIG_PKG_USING_HEARTBEAT is not set
936940# end of system packages
@@ -946,12 +950,44 @@ CONFIG_RT_USING_VDSO=y
946950#
947951# STM32 HAL & SDK Drivers
948952#
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
949961# CONFIG_PKG_USING_STM32F4_HAL_DRIVER is not set
950962# 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
951977# CONFIG_PKG_USING_STM32L4_HAL_DRIVER is not set
952978# 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
953983# CONFIG_PKG_USING_STM32WB55_SDK is not set
954984# 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
955991# end of STM32 HAL & SDK Drivers
956992
957993#
@@ -984,6 +1020,60 @@ CONFIG_RT_USING_VDSO=y
9841020# CONFIG_PKG_USING_NRFX is not set
9851021# CONFIG_PKG_USING_NUCLEI_SDK is not set
9861022# 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
9871077# end of HAL & SDK Drivers
9881078
9891079#
@@ -1021,12 +1111,14 @@ CONFIG_RT_USING_VDSO=y
10211111# CONFIG_PKG_USING_BMI088 is not set
10221112# CONFIG_PKG_USING_HMC5883 is not set
10231113# CONFIG_PKG_USING_MAX6675 is not set
1114+ # CONFIG_PKG_USING_MAX31855 is not set
10241115# CONFIG_PKG_USING_TMP1075 is not set
10251116# CONFIG_PKG_USING_SR04 is not set
10261117# CONFIG_PKG_USING_CCS811 is not set
10271118# CONFIG_PKG_USING_PMSXX is not set
10281119# CONFIG_PKG_USING_RT3020 is not set
10291120# CONFIG_PKG_USING_MLX90632 is not set
1121+ # CONFIG_PKG_USING_MLX90382 is not set
10301122# CONFIG_PKG_USING_MLX90393 is not set
10311123# CONFIG_PKG_USING_MLX90392 is not set
10321124# CONFIG_PKG_USING_MLX90394 is not set
@@ -1055,6 +1147,8 @@ CONFIG_RT_USING_VDSO=y
10551147# CONFIG_PKG_USING_ICM20608 is not set
10561148# CONFIG_PKG_USING_PAJ7620 is not set
10571149# CONFIG_PKG_USING_STHS34PF80 is not set
1150+ # CONFIG_PKG_USING_P3T1755 is not set
1151+ # CONFIG_PKG_USING_QMI8658 is not set
10581152# end of sensors drivers
10591153
10601154#
@@ -1146,6 +1240,9 @@ CONFIG_RT_USING_VDSO=y
11461240# CONFIG_PKG_USING_BT_MX02 is not set
11471241# CONFIG_PKG_USING_GC9A01 is not set
11481242# 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
11491246# CONFIG_PKG_USING_SPI_TOOLS is not set
11501247# end of peripheral libraries and drivers
11511248
@@ -1162,6 +1259,7 @@ CONFIG_RT_USING_VDSO=y
11621259# CONFIG_PKG_USING_QUEST is not set
11631260# CONFIG_PKG_USING_NAXOS is not set
11641261# CONFIG_PKG_USING_R_TINYMAIX is not set
1262+ # CONFIG_PKG_USING_LLMCHAT is not set
11651263# end of AI packages
11661264
11671265#
@@ -1238,6 +1336,7 @@ CONFIG_PKG_ZLIB_VER="latest"
12381336# CONFIG_PKG_USING_KI is not set
12391337# CONFIG_PKG_USING_ARMv7M_DWT is not set
12401338# CONFIG_PKG_USING_CRCLIB is not set
1339+ # CONFIG_PKG_USING_LIBCRC is not set
12411340# CONFIG_PKG_USING_LWGPS is not set
12421341# CONFIG_PKG_USING_STATE_MACHINE is not set
12431342# CONFIG_PKG_USING_DESIGN_PATTERN is not set
@@ -1248,6 +1347,7 @@ CONFIG_PKG_ZLIB_VER="latest"
12481347# CONFIG_PKG_USING_SOEM is not set
12491348# CONFIG_PKG_USING_QPARAM is not set
12501349# CONFIG_PKG_USING_CorevMCU_CLI is not set
1350+ # CONFIG_PKG_USING_DRMP is not set
12511351# end of miscellaneous packages
12521352
12531353#
@@ -1491,6 +1591,7 @@ CONFIG_PKG_ZLIB_VER="latest"
14911591# Drivers Configuration
14921592#
14931593# CONFIG_BSP_USING_ADC is not set
1594+ # CONFIG_BSP_USING_PWM is not set
14941595CONFIG_BSP_USING_HARDLOCK=y
14951596CONFIG_BSP_USING_SDIO=y
14961597CONFIG_BSP_USING_SDIO0=y
@@ -1503,7 +1604,9 @@ CONFIG_BSP_SD_MNT_DEVNAME="sd0p1"
15031604# CONFIG_BSP_UTEST_DRIVERS is not set
15041605# end of Drivers Configuration
15051606
1506- CONFIG_BOARD_fpgac908 =y
1607+ CONFIG_BOARD_C908 =y
15071608CONFIG___STACKSIZE__=65536
15081609CONFIG_BSP_ROOTFS_TYPE_ELMFAT=y
15091610# 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