|
@@ -204,6 +204,9 @@ CONFIG_ARCH_MM_MMU=y
|
|
CONFIG_KERNEL_VADDR_START=0xffffffc000000000
|
|
CONFIG_KERNEL_VADDR_START=0xffffffc000000000
|
|
CONFIG_ARCH_RISCV=y
|
|
CONFIG_ARCH_RISCV=y
|
|
CONFIG_ARCH_RISCV_FPU=y
|
|
CONFIG_ARCH_RISCV_FPU=y
|
|
|
|
+CONFIG_ARCH_RISCV_VECTOR=y
|
|
|
|
+CONFIG_ARCH_VECTOR_VLEN_128=y
|
|
|
|
+# CONFIG_ARCH_VECTOR_VLEN_256 is not set
|
|
CONFIG_ARCH_RISCV_FPU_D=y
|
|
CONFIG_ARCH_RISCV_FPU_D=y
|
|
CONFIG_ARCH_RISCV64=y
|
|
CONFIG_ARCH_RISCV64=y
|
|
CONFIG_ARCH_USING_NEW_CTX_SWITCH=y
|
|
CONFIG_ARCH_USING_NEW_CTX_SWITCH=y
|
|
@@ -706,6 +709,7 @@ CONFIG_RT_USING_VDSO=y
|
|
# CONFIG_PKG_USING_LHC_MODBUS is not set
|
|
# CONFIG_PKG_USING_LHC_MODBUS is not set
|
|
# CONFIG_PKG_USING_QMODBUS is not set
|
|
# CONFIG_PKG_USING_QMODBUS is not set
|
|
# CONFIG_PKG_USING_PNET is not set
|
|
# CONFIG_PKG_USING_PNET is not set
|
|
|
|
+# CONFIG_PKG_USING_OPENER is not set
|
|
# end of IoT - internet of things
|
|
# end of IoT - internet of things
|
|
|
|
|
|
#
|
|
#
|
|
@@ -839,6 +843,7 @@ CONFIG_RT_USING_VDSO=y
|
|
# CONFIG_PKG_USING_VOFA_PLUS is not set
|
|
# CONFIG_PKG_USING_VOFA_PLUS is not set
|
|
# CONFIG_PKG_USING_ZDEBUG is not set
|
|
# CONFIG_PKG_USING_ZDEBUG is not set
|
|
# CONFIG_PKG_USING_RVBACKTRACE is not set
|
|
# CONFIG_PKG_USING_RVBACKTRACE is not set
|
|
|
|
+# CONFIG_PKG_USING_HPATCHLITE is not set
|
|
# end of tools packages
|
|
# end of tools packages
|
|
|
|
|
|
#
|
|
#
|
|
@@ -867,7 +872,6 @@ CONFIG_RT_USING_VDSO=y
|
|
#
|
|
#
|
|
# CONFIG_PKG_USING_CMSIS_5 is not set
|
|
# CONFIG_PKG_USING_CMSIS_5 is not set
|
|
# CONFIG_PKG_USING_CMSIS_CORE is not set
|
|
# CONFIG_PKG_USING_CMSIS_CORE is not set
|
|
-# CONFIG_PKG_USING_CMSIS_DSP is not set
|
|
|
|
# CONFIG_PKG_USING_CMSIS_NN is not set
|
|
# CONFIG_PKG_USING_CMSIS_NN is not set
|
|
# CONFIG_PKG_USING_CMSIS_RTOS1 is not set
|
|
# CONFIG_PKG_USING_CMSIS_RTOS1 is not set
|
|
# CONFIG_PKG_USING_CMSIS_RTOS2 is not set
|
|
# CONFIG_PKG_USING_CMSIS_RTOS2 is not set
|
|
@@ -919,7 +923,6 @@ CONFIG_RT_USING_VDSO=y
|
|
# CONFIG_PKG_USING_ARM_2D is not set
|
|
# CONFIG_PKG_USING_ARM_2D is not set
|
|
# CONFIG_PKG_USING_MCUBOOT is not set
|
|
# CONFIG_PKG_USING_MCUBOOT is not set
|
|
# CONFIG_PKG_USING_TINYUSB is not set
|
|
# CONFIG_PKG_USING_TINYUSB is not set
|
|
-# CONFIG_PKG_USING_CHERRYUSB is not set
|
|
|
|
# CONFIG_PKG_USING_KMULTI_RTIMER is not set
|
|
# CONFIG_PKG_USING_KMULTI_RTIMER is not set
|
|
# CONFIG_PKG_USING_TFDB is not set
|
|
# CONFIG_PKG_USING_TFDB is not set
|
|
# CONFIG_PKG_USING_QPC is not set
|
|
# CONFIG_PKG_USING_QPC is not set
|
|
@@ -931,6 +934,7 @@ CONFIG_RT_USING_VDSO=y
|
|
# CONFIG_PKG_USING_SFDB is not set
|
|
# CONFIG_PKG_USING_SFDB is not set
|
|
# CONFIG_PKG_USING_RTP is not set
|
|
# CONFIG_PKG_USING_RTP is not set
|
|
# CONFIG_PKG_USING_REB is not set
|
|
# CONFIG_PKG_USING_REB is not set
|
|
|
|
+# CONFIG_PKG_USING_RMP is not set
|
|
# CONFIG_PKG_USING_R_RHEALSTONE is not set
|
|
# CONFIG_PKG_USING_R_RHEALSTONE is not set
|
|
# CONFIG_PKG_USING_HEARTBEAT is not set
|
|
# CONFIG_PKG_USING_HEARTBEAT is not set
|
|
# end of system packages
|
|
# end of system packages
|
|
@@ -946,12 +950,44 @@ CONFIG_RT_USING_VDSO=y
|
|
#
|
|
#
|
|
# STM32 HAL & SDK Drivers
|
|
# STM32 HAL & SDK Drivers
|
|
#
|
|
#
|
|
|
|
+# CONFIG_PKG_USING_STM32F0_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32F0_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32F1_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32F1_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32F2_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32F2_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32F3_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32F3_CMSIS_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32F4_HAL_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32F4_HAL_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32F4_CMSIS_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32F4_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32F7_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32F7_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32G0_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32G0_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32G4_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32G4_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32H5_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32H5_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32H7_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32H7_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32H7RS_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32H7RS_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32L0_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32L0_CMSIS_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32L4_HAL_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32L4_HAL_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32L4_CMSIS_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32L4_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32L5_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32L5_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32U5_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32U5_CMSIS_DRIVER is not set
|
|
# CONFIG_PKG_USING_STM32WB55_SDK is not set
|
|
# CONFIG_PKG_USING_STM32WB55_SDK is not set
|
|
# CONFIG_PKG_USING_STM32_SDIO is not set
|
|
# CONFIG_PKG_USING_STM32_SDIO is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32WL_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32WL_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32WB_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32WB_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32MP1_M4_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_STM32MP1_M4_CMSIS_DRIVER is not set
|
|
# end of STM32 HAL & SDK Drivers
|
|
# end of STM32 HAL & SDK Drivers
|
|
|
|
|
|
#
|
|
#
|
|
@@ -984,6 +1020,60 @@ CONFIG_RT_USING_VDSO=y
|
|
# CONFIG_PKG_USING_NRFX is not set
|
|
# CONFIG_PKG_USING_NRFX is not set
|
|
# CONFIG_PKG_USING_NUCLEI_SDK is not set
|
|
# CONFIG_PKG_USING_NUCLEI_SDK is not set
|
|
# CONFIG_PKG_USING_RASPBERRYPI_PICO_SDK is not set
|
|
# CONFIG_PKG_USING_RASPBERRYPI_PICO_SDK is not set
|
|
|
|
+# CONFIG_PKG_USING_MM32 is not set
|
|
|
|
+
|
|
|
|
+#
|
|
|
|
+# WCH HAL & SDK Drivers
|
|
|
|
+#
|
|
|
|
+# CONFIG_PKG_USING_CH32V20x_SDK is not set
|
|
|
|
+# CONFIG_PKG_USING_CH32V307_SDK is not set
|
|
|
|
+# end of WCH HAL & SDK Drivers
|
|
|
|
+
|
|
|
|
+#
|
|
|
|
+# AT32 HAL & SDK Drivers
|
|
|
|
+#
|
|
|
|
+# CONFIG_PKG_USING_AT32A403A_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32A403A_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32A423_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32A423_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F45x_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F45x_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F402_405_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F402_405_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F403A_407_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F403A_407_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F413_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F413_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F415_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F415_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F421_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F421_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F423_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F423_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F425_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F425_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F435_437_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32F435_437_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32M412_416_HAL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_AT32M412_416_CMSIS_DRIVER is not set
|
|
|
|
+# end of AT32 HAL & SDK Drivers
|
|
|
|
+
|
|
|
|
+#
|
|
|
|
+# HC32 DDL Drivers
|
|
|
|
+#
|
|
|
|
+# end of HC32 DDL Drivers
|
|
|
|
+
|
|
|
|
+#
|
|
|
|
+# NXP HAL & SDK Drivers
|
|
|
|
+#
|
|
|
|
+# CONFIG_PKG_USING_NXP_MCX_CMSIS_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_NXP_MCX_SERIES_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_NXP_LPC_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_NXP_LPC55S_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_NXP_IMX6SX_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_NXP_IMX6UL_DRIVER is not set
|
|
|
|
+# CONFIG_PKG_USING_NXP_IMXRT_DRIVER is not set
|
|
|
|
+# end of NXP HAL & SDK Drivers
|
|
# end of HAL & SDK Drivers
|
|
# end of HAL & SDK Drivers
|
|
|
|
|
|
#
|
|
#
|
|
@@ -1021,12 +1111,14 @@ CONFIG_RT_USING_VDSO=y
|
|
# CONFIG_PKG_USING_BMI088 is not set
|
|
# CONFIG_PKG_USING_BMI088 is not set
|
|
# CONFIG_PKG_USING_HMC5883 is not set
|
|
# CONFIG_PKG_USING_HMC5883 is not set
|
|
# CONFIG_PKG_USING_MAX6675 is not set
|
|
# CONFIG_PKG_USING_MAX6675 is not set
|
|
|
|
+# CONFIG_PKG_USING_MAX31855 is not set
|
|
# CONFIG_PKG_USING_TMP1075 is not set
|
|
# CONFIG_PKG_USING_TMP1075 is not set
|
|
# CONFIG_PKG_USING_SR04 is not set
|
|
# CONFIG_PKG_USING_SR04 is not set
|
|
# CONFIG_PKG_USING_CCS811 is not set
|
|
# CONFIG_PKG_USING_CCS811 is not set
|
|
# CONFIG_PKG_USING_PMSXX is not set
|
|
# CONFIG_PKG_USING_PMSXX is not set
|
|
# CONFIG_PKG_USING_RT3020 is not set
|
|
# CONFIG_PKG_USING_RT3020 is not set
|
|
# CONFIG_PKG_USING_MLX90632 is not set
|
|
# CONFIG_PKG_USING_MLX90632 is not set
|
|
|
|
+# CONFIG_PKG_USING_MLX90382 is not set
|
|
# CONFIG_PKG_USING_MLX90393 is not set
|
|
# CONFIG_PKG_USING_MLX90393 is not set
|
|
# CONFIG_PKG_USING_MLX90392 is not set
|
|
# CONFIG_PKG_USING_MLX90392 is not set
|
|
# CONFIG_PKG_USING_MLX90394 is not set
|
|
# CONFIG_PKG_USING_MLX90394 is not set
|
|
@@ -1055,6 +1147,8 @@ CONFIG_RT_USING_VDSO=y
|
|
# CONFIG_PKG_USING_ICM20608 is not set
|
|
# CONFIG_PKG_USING_ICM20608 is not set
|
|
# CONFIG_PKG_USING_PAJ7620 is not set
|
|
# CONFIG_PKG_USING_PAJ7620 is not set
|
|
# CONFIG_PKG_USING_STHS34PF80 is not set
|
|
# CONFIG_PKG_USING_STHS34PF80 is not set
|
|
|
|
+# CONFIG_PKG_USING_P3T1755 is not set
|
|
|
|
+# CONFIG_PKG_USING_QMI8658 is not set
|
|
# end of sensors drivers
|
|
# end of sensors drivers
|
|
|
|
|
|
#
|
|
#
|
|
@@ -1146,6 +1240,9 @@ CONFIG_RT_USING_VDSO=y
|
|
# CONFIG_PKG_USING_BT_MX02 is not set
|
|
# CONFIG_PKG_USING_BT_MX02 is not set
|
|
# CONFIG_PKG_USING_GC9A01 is not set
|
|
# CONFIG_PKG_USING_GC9A01 is not set
|
|
# CONFIG_PKG_USING_IK485 is not set
|
|
# CONFIG_PKG_USING_IK485 is not set
|
|
|
|
+# CONFIG_PKG_USING_SERVO is not set
|
|
|
|
+# CONFIG_PKG_USING_SEAN_WS2812B is not set
|
|
|
|
+# CONFIG_PKG_USING_IC74HC165 is not set
|
|
# CONFIG_PKG_USING_SPI_TOOLS is not set
|
|
# CONFIG_PKG_USING_SPI_TOOLS is not set
|
|
# end of peripheral libraries and drivers
|
|
# end of peripheral libraries and drivers
|
|
|
|
|
|
@@ -1162,6 +1259,7 @@ CONFIG_RT_USING_VDSO=y
|
|
# CONFIG_PKG_USING_QUEST is not set
|
|
# CONFIG_PKG_USING_QUEST is not set
|
|
# CONFIG_PKG_USING_NAXOS is not set
|
|
# CONFIG_PKG_USING_NAXOS is not set
|
|
# CONFIG_PKG_USING_R_TINYMAIX is not set
|
|
# CONFIG_PKG_USING_R_TINYMAIX is not set
|
|
|
|
+# CONFIG_PKG_USING_LLMCHAT is not set
|
|
# end of AI packages
|
|
# end of AI packages
|
|
|
|
|
|
#
|
|
#
|
|
@@ -1238,6 +1336,7 @@ CONFIG_PKG_ZLIB_VER="latest"
|
|
# CONFIG_PKG_USING_KI is not set
|
|
# CONFIG_PKG_USING_KI is not set
|
|
# CONFIG_PKG_USING_ARMv7M_DWT is not set
|
|
# CONFIG_PKG_USING_ARMv7M_DWT is not set
|
|
# CONFIG_PKG_USING_CRCLIB is not set
|
|
# CONFIG_PKG_USING_CRCLIB is not set
|
|
|
|
+# CONFIG_PKG_USING_LIBCRC is not set
|
|
# CONFIG_PKG_USING_LWGPS is not set
|
|
# CONFIG_PKG_USING_LWGPS is not set
|
|
# CONFIG_PKG_USING_STATE_MACHINE is not set
|
|
# CONFIG_PKG_USING_STATE_MACHINE is not set
|
|
# CONFIG_PKG_USING_DESIGN_PATTERN is not set
|
|
# CONFIG_PKG_USING_DESIGN_PATTERN is not set
|
|
@@ -1248,6 +1347,7 @@ CONFIG_PKG_ZLIB_VER="latest"
|
|
# CONFIG_PKG_USING_SOEM is not set
|
|
# CONFIG_PKG_USING_SOEM is not set
|
|
# CONFIG_PKG_USING_QPARAM is not set
|
|
# CONFIG_PKG_USING_QPARAM is not set
|
|
# CONFIG_PKG_USING_CorevMCU_CLI is not set
|
|
# CONFIG_PKG_USING_CorevMCU_CLI is not set
|
|
|
|
+# CONFIG_PKG_USING_DRMP is not set
|
|
# end of miscellaneous packages
|
|
# end of miscellaneous packages
|
|
|
|
|
|
#
|
|
#
|
|
@@ -1491,6 +1591,7 @@ CONFIG_PKG_ZLIB_VER="latest"
|
|
# Drivers Configuration
|
|
# Drivers Configuration
|
|
#
|
|
#
|
|
# CONFIG_BSP_USING_ADC is not set
|
|
# CONFIG_BSP_USING_ADC is not set
|
|
|
|
+# CONFIG_BSP_USING_PWM is not set
|
|
CONFIG_BSP_USING_HARDLOCK=y
|
|
CONFIG_BSP_USING_HARDLOCK=y
|
|
CONFIG_BSP_USING_SDIO=y
|
|
CONFIG_BSP_USING_SDIO=y
|
|
CONFIG_BSP_USING_SDIO0=y
|
|
CONFIG_BSP_USING_SDIO0=y
|
|
@@ -1503,7 +1604,9 @@ CONFIG_BSP_SD_MNT_DEVNAME="sd0p1"
|
|
# CONFIG_BSP_UTEST_DRIVERS is not set
|
|
# CONFIG_BSP_UTEST_DRIVERS is not set
|
|
# end of Drivers Configuration
|
|
# end of Drivers Configuration
|
|
|
|
|
|
-CONFIG_BOARD_fpgac908=y
|
|
|
|
|
|
+CONFIG_BOARD_C908=y
|
|
CONFIG___STACKSIZE__=65536
|
|
CONFIG___STACKSIZE__=65536
|
|
CONFIG_BSP_ROOTFS_TYPE_ELMFAT=y
|
|
CONFIG_BSP_ROOTFS_TYPE_ELMFAT=y
|
|
# CONFIG_BSP_ROOTFS_TYPE_CROMFS is not set
|
|
# CONFIG_BSP_ROOTFS_TYPE_CROMFS is not set
|
|
|
|
+# CONFIG_BSP_RISCV_FPU_SOFT is not set
|
|
|
|
+CONFIG_BSP_RISCV_FPU_D=y
|