@@ -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
@@ -1021,12 +1025,14 @@ CONFIG_RT_USING_VDSO=y
10211025# CONFIG_PKG_USING_BMI088 is not set
10221026# CONFIG_PKG_USING_HMC5883 is not set
10231027# CONFIG_PKG_USING_MAX6675 is not set
1028+ # CONFIG_PKG_USING_MAX31855 is not set
10241029# CONFIG_PKG_USING_TMP1075 is not set
10251030# CONFIG_PKG_USING_SR04 is not set
10261031# CONFIG_PKG_USING_CCS811 is not set
10271032# CONFIG_PKG_USING_PMSXX is not set
10281033# CONFIG_PKG_USING_RT3020 is not set
10291034# CONFIG_PKG_USING_MLX90632 is not set
1035+ # CONFIG_PKG_USING_MLX90382 is not set
10301036# CONFIG_PKG_USING_MLX90393 is not set
10311037# CONFIG_PKG_USING_MLX90392 is not set
10321038# CONFIG_PKG_USING_MLX90394 is not set
@@ -1055,6 +1061,8 @@ CONFIG_RT_USING_VDSO=y
10551061# CONFIG_PKG_USING_ICM20608 is not set
10561062# CONFIG_PKG_USING_PAJ7620 is not set
10571063# CONFIG_PKG_USING_STHS34PF80 is not set
1064+ # CONFIG_PKG_USING_P3T1755 is not set
1065+ # CONFIG_PKG_USING_QMI8658 is not set
10581066# end of sensors drivers
10591067
10601068#
@@ -1146,6 +1154,9 @@ CONFIG_RT_USING_VDSO=y
11461154# CONFIG_PKG_USING_BT_MX02 is not set
11471155# CONFIG_PKG_USING_GC9A01 is not set
11481156# CONFIG_PKG_USING_IK485 is not set
1157+ # CONFIG_PKG_USING_SERVO is not set
1158+ # CONFIG_PKG_USING_SEAN_WS2812B is not set
1159+ # CONFIG_PKG_USING_IC74HC165 is not set
11491160# CONFIG_PKG_USING_SPI_TOOLS is not set
11501161# end of peripheral libraries and drivers
11511162
@@ -1162,6 +1173,7 @@ CONFIG_RT_USING_VDSO=y
11621173# CONFIG_PKG_USING_QUEST is not set
11631174# CONFIG_PKG_USING_NAXOS is not set
11641175# CONFIG_PKG_USING_R_TINYMAIX is not set
1176+ # CONFIG_PKG_USING_LLMCHAT is not set
11651177# end of AI packages
11661178
11671179#
@@ -1238,6 +1250,7 @@ CONFIG_PKG_ZLIB_VER="latest"
12381250# CONFIG_PKG_USING_KI is not set
12391251# CONFIG_PKG_USING_ARMv7M_DWT is not set
12401252# CONFIG_PKG_USING_CRCLIB is not set
1253+ # CONFIG_PKG_USING_LIBCRC is not set
12411254# CONFIG_PKG_USING_LWGPS is not set
12421255# CONFIG_PKG_USING_STATE_MACHINE is not set
12431256# CONFIG_PKG_USING_DESIGN_PATTERN is not set
@@ -1248,6 +1261,7 @@ CONFIG_PKG_ZLIB_VER="latest"
12481261# CONFIG_PKG_USING_SOEM is not set
12491262# CONFIG_PKG_USING_QPARAM is not set
12501263# CONFIG_PKG_USING_CorevMCU_CLI is not set
1264+ # CONFIG_PKG_USING_DRMP is not set
12511265# end of miscellaneous packages
12521266
12531267#
@@ -1491,6 +1505,7 @@ CONFIG_PKG_ZLIB_VER="latest"
14911505# Drivers Configuration
14921506#
14931507# CONFIG_BSP_USING_ADC is not set
1508+ # CONFIG_BSP_USING_PWM is not set
14941509CONFIG_BSP_USING_HARDLOCK=y
14951510CONFIG_BSP_USING_SDIO=y
14961511CONFIG_BSP_USING_SDIO0=y
@@ -1503,7 +1518,9 @@ CONFIG_BSP_SD_MNT_DEVNAME="sd0p1"
15031518# CONFIG_BSP_UTEST_DRIVERS is not set
15041519# end of Drivers Configuration
15051520
1506- CONFIG_BOARD_fpgac908 =y
1521+ CONFIG_BOARD_C908 =y
15071522CONFIG___STACKSIZE__=65536
15081523CONFIG_BSP_ROOTFS_TYPE_ELMFAT=y
15091524# CONFIG_BSP_ROOTFS_TYPE_CROMFS is not set
1525+ # CONFIG_BSP_RISCV_FPU_SOFT is not set
1526+ CONFIG_BSP_RISCV_FPU_D=y
0 commit comments