@@ -788,6 +788,35 @@ CONFIG_PKG_STM32F4_CMSIS_DRIVER_VER="latest"
788788# CONFIG_PKG_USING_CH32V20x_SDK is not set
789789# CONFIG_PKG_USING_CH32V307_SDK is not set
790790# end of WCH HAL & SDK Drivers
791+
792+ #
793+ # AT32 HAL & SDK Drivers
794+ #
795+ # CONFIG_PKG_USING_AT32A403A_HAL_DRIVER is not set
796+ # CONFIG_PKG_USING_AT32A403A_CMSIS_DRIVER is not set
797+ # CONFIG_PKG_USING_AT32A423_HAL_DRIVER is not set
798+ # CONFIG_PKG_USING_AT32A423_CMSIS_DRIVER is not set
799+ # CONFIG_PKG_USING_AT32F45x_HAL_DRIVER is not set
800+ # CONFIG_PKG_USING_AT32F45x_CMSIS_DRIVER is not set
801+ # CONFIG_PKG_USING_AT32F402_405_HAL_DRIVER is not set
802+ # CONFIG_PKG_USING_AT32F402_405_CMSIS_DRIVER is not set
803+ # CONFIG_PKG_USING_AT32F403A_407_HAL_DRIVER is not set
804+ # CONFIG_PKG_USING_AT32F403A_407_CMSIS_DRIVER is not set
805+ # CONFIG_PKG_USING_AT32F413_HAL_DRIVER is not set
806+ # CONFIG_PKG_USING_AT32F413_CMSIS_DRIVER is not set
807+ # CONFIG_PKG_USING_AT32F415_HAL_DRIVER is not set
808+ # CONFIG_PKG_USING_AT32F415_CMSIS_DRIVER is not set
809+ # CONFIG_PKG_USING_AT32F421_HAL_DRIVER is not set
810+ # CONFIG_PKG_USING_AT32F421_CMSIS_DRIVER is not set
811+ # CONFIG_PKG_USING_AT32F423_HAL_DRIVER is not set
812+ # CONFIG_PKG_USING_AT32F423_CMSIS_DRIVER is not set
813+ # CONFIG_PKG_USING_AT32F425_HAL_DRIVER is not set
814+ # CONFIG_PKG_USING_AT32F425_CMSIS_DRIVER is not set
815+ # CONFIG_PKG_USING_AT32F435_437_HAL_DRIVER is not set
816+ # CONFIG_PKG_USING_AT32F435_437_CMSIS_DRIVER is not set
817+ # CONFIG_PKG_USING_AT32M412_416_HAL_DRIVER is not set
818+ # CONFIG_PKG_USING_AT32M412_416_CMSIS_DRIVER is not set
819+ # end of AT32 HAL & SDK Drivers
791820# end of HAL & SDK Drivers
792821
793822#
@@ -952,6 +981,7 @@ CONFIG_PKG_STM32F4_CMSIS_DRIVER_VER="latest"
952981# CONFIG_PKG_USING_BT_MX02 is not set
953982# CONFIG_PKG_USING_GC9A01 is not set
954983# CONFIG_PKG_USING_IK485 is not set
984+ # CONFIG_PKG_USING_SERVO is not set
955985# CONFIG_PKG_USING_SPI_TOOLS is not set
956986# end of peripheral libraries and drivers
957987
@@ -1053,6 +1083,7 @@ CONFIG_PKG_STM32F4_CMSIS_DRIVER_VER="latest"
10531083# CONFIG_PKG_USING_QPARAM is not set
10541084# CONFIG_PKG_USING_CorevMCU_CLI is not set
10551085# CONFIG_PKG_USING_GET_IRQ_PRIORITY is not set
1086+ # CONFIG_PKG_USING_DRMP is not set
10561087# end of miscellaneous packages
10571088
10581089#
0 commit comments