Skip to content

Commit fbfc501

Browse files
lygstatelygstate
committed
update menuconfig of bsp/qemu-virt64-riscv
1 parent a84e755 commit fbfc501

File tree

2 files changed

+3
-163
lines changed

2 files changed

+3
-163
lines changed

‎bsp/qemu-virt64-riscv/.config‎

Lines changed: 3 additions & 139 deletions
Original file line numberDiff line numberDiff line change
@@ -560,7 +560,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
560560
# CONFIG_PKG_USING_FREEMODBUS is not set
561561
# CONFIG_PKG_USING_NANOPB is not set
562562
# CONFIG_PKG_USING_WIFI_HOST_DRIVER is not set
563-
# CONFIG_PKG_USING_ESP_HOSTED is not set
564563

565564
#
566565
# Wi-Fi
@@ -666,9 +665,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
666665
# CONFIG_PKG_USING_MATTER_ADAPTATION_LAYER is not set
667666
# CONFIG_PKG_USING_LHC_MODBUS is not set
668667
# CONFIG_PKG_USING_QMODBUS is not set
669-
# CONFIG_PKG_USING_PNET is not set
670-
# CONFIG_PKG_USING_OPENER is not set
671-
# CONFIG_PKG_USING_FREEMQTT is not set
672668
# end of IoT - internet of things
673669

674670
#
@@ -696,7 +692,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
696692
# CONFIG_PKG_USING_JSMN is not set
697693
# CONFIG_PKG_USING_AGILE_JSMN is not set
698694
# CONFIG_PKG_USING_PARSON is not set
699-
# CONFIG_PKG_USING_RYAN_JSON is not set
700695
# end of JSON: JavaScript Object Notation, a lightweight data-interchange format
701696

702697
#
@@ -758,7 +753,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
758753
# tools packages
759754
#
760755
# CONFIG_PKG_USING_CMBACKTRACE is not set
761-
# CONFIG_PKG_USING_MCOREDUMP is not set
762756
# CONFIG_PKG_USING_EASYFLASH is not set
763757
# CONFIG_PKG_USING_EASYLOGGER is not set
764758
# CONFIG_PKG_USING_SYSTEMVIEW is not set
@@ -802,9 +796,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
802796
# CONFIG_PKG_USING_ARMV7M_DWT_TOOL is not set
803797
# CONFIG_PKG_USING_VOFA_PLUS is not set
804798
# CONFIG_PKG_USING_ZDEBUG is not set
805-
# CONFIG_PKG_USING_RVBACKTRACE is not set
806-
# CONFIG_PKG_USING_HPATCHLITE is not set
807-
# CONFIG_PKG_USING_THREAD_METRIC is not set
808799
# end of tools packages
809800

810801
#
@@ -816,6 +807,7 @@ CONFIG_RT_PAGE_MAX_ORDER=11
816807
#
817808
# CONFIG_PKG_USING_RT_MEMCPY_CM is not set
818809
# CONFIG_PKG_USING_RT_KPRINTF_THREADSAFE is not set
810+
# CONFIG_PKG_USING_RT_VSNPRINTF_FULL is not set
819811
# end of enhanced kernel services
820812

821813
# CONFIG_PKG_USING_AUNITY is not set
@@ -833,6 +825,7 @@ CONFIG_RT_PAGE_MAX_ORDER=11
833825
#
834826
# CONFIG_PKG_USING_CMSIS_5 is not set
835827
# CONFIG_PKG_USING_CMSIS_CORE is not set
828+
# CONFIG_PKG_USING_CMSIS_DSP is not set
836829
# CONFIG_PKG_USING_CMSIS_NN is not set
837830
# CONFIG_PKG_USING_CMSIS_RTOS1 is not set
838831
# CONFIG_PKG_USING_CMSIS_RTOS2 is not set
@@ -884,21 +877,18 @@ CONFIG_RT_PAGE_MAX_ORDER=11
884877
# CONFIG_PKG_USING_ARM_2D is not set
885878
# CONFIG_PKG_USING_MCUBOOT is not set
886879
# CONFIG_PKG_USING_TINYUSB is not set
880+
# CONFIG_PKG_USING_CHERRYUSB is not set
887881
# CONFIG_PKG_USING_KMULTI_RTIMER is not set
888882
# CONFIG_PKG_USING_TFDB is not set
889883
# CONFIG_PKG_USING_QPC is not set
890884
# CONFIG_PKG_USING_AGILE_UPGRADE is not set
891885
# CONFIG_PKG_USING_FLASH_BLOB is not set
892886
# CONFIG_PKG_USING_MLIBC is not set
893887
# CONFIG_PKG_USING_TASK_MSG_BUS is not set
894-
# CONFIG_PKG_USING_UART_FRAMEWORK is not set
895888
# CONFIG_PKG_USING_SFDB is not set
896889
# CONFIG_PKG_USING_RTP is not set
897890
# CONFIG_PKG_USING_REB is not set
898-
# CONFIG_PKG_USING_RMP is not set
899891
# CONFIG_PKG_USING_R_RHEALSTONE is not set
900-
# CONFIG_PKG_USING_HEARTBEAT is not set
901-
# CONFIG_PKG_USING_MICRO_ROS_RTTHREAD_PACKAGE is not set
902892
# end of system packages
903893

904894
#
@@ -912,44 +902,10 @@ CONFIG_RT_PAGE_MAX_ORDER=11
912902
#
913903
# STM32 HAL & SDK Drivers
914904
#
915-
# CONFIG_PKG_USING_STM32F0_HAL_DRIVER is not set
916-
# CONFIG_PKG_USING_STM32F0_CMSIS_DRIVER is not set
917-
# CONFIG_PKG_USING_STM32F1_HAL_DRIVER is not set
918-
# CONFIG_PKG_USING_STM32F1_CMSIS_DRIVER is not set
919-
# CONFIG_PKG_USING_STM32F2_HAL_DRIVER is not set
920-
# CONFIG_PKG_USING_STM32F2_CMSIS_DRIVER is not set
921-
# CONFIG_PKG_USING_STM32F3_HAL_DRIVER is not set
922-
# CONFIG_PKG_USING_STM32F3_CMSIS_DRIVER is not set
923-
# CONFIG_PKG_USING_STM32F4_HAL_DRIVER is not set
924-
# CONFIG_PKG_USING_STM32F4_CMSIS_DRIVER is not set
925-
# CONFIG_PKG_USING_STM32F7_HAL_DRIVER is not set
926-
# CONFIG_PKG_USING_STM32F7_CMSIS_DRIVER is not set
927-
# CONFIG_PKG_USING_STM32G0_HAL_DRIVER is not set
928-
# CONFIG_PKG_USING_STM32G0_CMSIS_DRIVER is not set
929-
# CONFIG_PKG_USING_STM32G4_HAL_DRIVER is not set
930-
# CONFIG_PKG_USING_STM32G4_CMSIS_DRIVER is not set
931-
# CONFIG_PKG_USING_STM32H5_HAL_DRIVER is not set
932-
# CONFIG_PKG_USING_STM32H5_CMSIS_DRIVER is not set
933-
# CONFIG_PKG_USING_STM32H7_HAL_DRIVER is not set
934-
# CONFIG_PKG_USING_STM32H7_CMSIS_DRIVER is not set
935-
# CONFIG_PKG_USING_STM32H7RS_HAL_DRIVER is not set
936-
# CONFIG_PKG_USING_STM32H7RS_CMSIS_DRIVER is not set
937-
# CONFIG_PKG_USING_STM32L0_HAL_DRIVER is not set
938-
# CONFIG_PKG_USING_STM32L0_CMSIS_DRIVER is not set
939905
# CONFIG_PKG_USING_STM32L4_HAL_DRIVER is not set
940906
# CONFIG_PKG_USING_STM32L4_CMSIS_DRIVER is not set
941-
# CONFIG_PKG_USING_STM32L5_HAL_DRIVER is not set
942-
# CONFIG_PKG_USING_STM32L5_CMSIS_DRIVER is not set
943-
# CONFIG_PKG_USING_STM32U5_HAL_DRIVER is not set
944-
# CONFIG_PKG_USING_STM32U5_CMSIS_DRIVER is not set
945907
# CONFIG_PKG_USING_STM32WB55_SDK is not set
946908
# CONFIG_PKG_USING_STM32_SDIO is not set
947-
# CONFIG_PKG_USING_STM32WL_HAL_DRIVER is not set
948-
# CONFIG_PKG_USING_STM32WL_CMSIS_DRIVER is not set
949-
# CONFIG_PKG_USING_STM32WB_HAL_DRIVER is not set
950-
# CONFIG_PKG_USING_STM32WB_CMSIS_DRIVER is not set
951-
# CONFIG_PKG_USING_STM32MP1_M4_HAL_DRIVER is not set
952-
# CONFIG_PKG_USING_STM32MP1_M4_CMSIS_DRIVER is not set
953909
# end of STM32 HAL & SDK Drivers
954910

955911
#
@@ -981,81 +937,7 @@ CONFIG_RT_PAGE_MAX_ORDER=11
981937
# CONFIG_PKG_USING_NRF5X_SDK is not set
982938
# CONFIG_PKG_USING_NRFX is not set
983939
# CONFIG_PKG_USING_NUCLEI_SDK is not set
984-
# CONFIG_PKG_USING_RASPBERRYPI_PICO_RP2350_SDK is not set
985940
# CONFIG_PKG_USING_RASPBERRYPI_PICO_SDK is not set
986-
# CONFIG_PKG_USING_MM32 is not set
987-
988-
#
989-
# WCH HAL & SDK Drivers
990-
#
991-
# CONFIG_PKG_USING_CH32V20x_SDK is not set
992-
# CONFIG_PKG_USING_CH32V307_SDK is not set
993-
# end of WCH HAL & SDK Drivers
994-
995-
#
996-
# AT32 HAL & SDK Drivers
997-
#
998-
# CONFIG_PKG_USING_AT32A403A_HAL_DRIVER is not set
999-
# CONFIG_PKG_USING_AT32A403A_CMSIS_DRIVER is not set
1000-
# CONFIG_PKG_USING_AT32A423_HAL_DRIVER is not set
1001-
# CONFIG_PKG_USING_AT32A423_CMSIS_DRIVER is not set
1002-
# CONFIG_PKG_USING_AT32F45x_HAL_DRIVER is not set
1003-
# CONFIG_PKG_USING_AT32F45x_CMSIS_DRIVER is not set
1004-
# CONFIG_PKG_USING_AT32F402_405_HAL_DRIVER is not set
1005-
# CONFIG_PKG_USING_AT32F402_405_CMSIS_DRIVER is not set
1006-
# CONFIG_PKG_USING_AT32F403A_407_HAL_DRIVER is not set
1007-
# CONFIG_PKG_USING_AT32F403A_407_CMSIS_DRIVER is not set
1008-
# CONFIG_PKG_USING_AT32F413_HAL_DRIVER is not set
1009-
# CONFIG_PKG_USING_AT32F413_CMSIS_DRIVER is not set
1010-
# CONFIG_PKG_USING_AT32F415_HAL_DRIVER is not set
1011-
# CONFIG_PKG_USING_AT32F415_CMSIS_DRIVER is not set
1012-
# CONFIG_PKG_USING_AT32F421_HAL_DRIVER is not set
1013-
# CONFIG_PKG_USING_AT32F421_CMSIS_DRIVER is not set
1014-
# CONFIG_PKG_USING_AT32F423_HAL_DRIVER is not set
1015-
# CONFIG_PKG_USING_AT32F423_CMSIS_DRIVER is not set
1016-
# CONFIG_PKG_USING_AT32F425_HAL_DRIVER is not set
1017-
# CONFIG_PKG_USING_AT32F425_CMSIS_DRIVER is not set
1018-
# CONFIG_PKG_USING_AT32F435_437_HAL_DRIVER is not set
1019-
# CONFIG_PKG_USING_AT32F435_437_CMSIS_DRIVER is not set
1020-
# CONFIG_PKG_USING_AT32M412_416_HAL_DRIVER is not set
1021-
# CONFIG_PKG_USING_AT32M412_416_CMSIS_DRIVER is not set
1022-
# end of AT32 HAL & SDK Drivers
1023-
1024-
#
1025-
# HC32 DDL Drivers
1026-
#
1027-
# CONFIG_PKG_USING_HC32F3_CMSIS_DRIVER is not set
1028-
# CONFIG_PKG_USING_HC32F3_SERIES_DRIVER is not set
1029-
# CONFIG_PKG_USING_HC32F4_CMSIS_DRIVER is not set
1030-
# CONFIG_PKG_USING_HC32F4_SERIES_DRIVER is not set
1031-
# end of HC32 DDL Drivers
1032-
1033-
#
1034-
# NXP HAL & SDK Drivers
1035-
#
1036-
# CONFIG_PKG_USING_NXP_MCX_CMSIS_DRIVER is not set
1037-
# CONFIG_PKG_USING_NXP_MCX_SERIES_DRIVER is not set
1038-
# CONFIG_PKG_USING_NXP_LPC_DRIVER is not set
1039-
# CONFIG_PKG_USING_NXP_LPC55S_DRIVER is not set
1040-
# CONFIG_PKG_USING_NXP_IMX6SX_DRIVER is not set
1041-
# CONFIG_PKG_USING_NXP_IMX6UL_DRIVER is not set
1042-
# CONFIG_PKG_USING_NXP_IMXRT_DRIVER is not set
1043-
# end of NXP HAL & SDK Drivers
1044-
1045-
#
1046-
# NUVOTON Drivers
1047-
#
1048-
# CONFIG_PKG_USING_NUVOTON_CMSIS_DRIVER is not set
1049-
# CONFIG_PKG_USING_NUVOTON_SERIES_DRIVER is not set
1050-
# CONFIG_PKG_USING_NUVOTON_ARM926_LIB is not set
1051-
# end of NUVOTON Drivers
1052-
1053-
#
1054-
# GD32 Drivers
1055-
#
1056-
# CONFIG_PKG_USING_GD32_ARM_CMSIS_DRIVER is not set
1057-
# CONFIG_PKG_USING_GD32_ARM_SERIES_DRIVER is not set
1058-
# end of GD32 Drivers
1059941
# end of HAL & SDK Drivers
1060942

1061943
#
@@ -1093,17 +975,14 @@ CONFIG_RT_PAGE_MAX_ORDER=11
1093975
# CONFIG_PKG_USING_BMI088 is not set
1094976
# CONFIG_PKG_USING_HMC5883 is not set
1095977
# CONFIG_PKG_USING_MAX6675 is not set
1096-
# CONFIG_PKG_USING_MAX31855 is not set
1097978
# CONFIG_PKG_USING_TMP1075 is not set
1098979
# CONFIG_PKG_USING_SR04 is not set
1099980
# CONFIG_PKG_USING_CCS811 is not set
1100981
# CONFIG_PKG_USING_PMSXX is not set
1101982
# CONFIG_PKG_USING_RT3020 is not set
1102983
# CONFIG_PKG_USING_MLX90632 is not set
1103-
# CONFIG_PKG_USING_MLX90382 is not set
1104984
# CONFIG_PKG_USING_MLX90393 is not set
1105985
# CONFIG_PKG_USING_MLX90392 is not set
1106-
# CONFIG_PKG_USING_MLX90394 is not set
1107986
# CONFIG_PKG_USING_MLX90397 is not set
1108987
# CONFIG_PKG_USING_MS5611 is not set
1109988
# CONFIG_PKG_USING_MAX31865 is not set
@@ -1129,9 +1008,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
11291008
# CONFIG_PKG_USING_ICM20608 is not set
11301009
# CONFIG_PKG_USING_PAJ7620 is not set
11311010
# CONFIG_PKG_USING_STHS34PF80 is not set
1132-
# CONFIG_PKG_USING_P3T1755 is not set
1133-
# CONFIG_PKG_USING_QMI8658 is not set
1134-
# CONFIG_PKG_USING_ICM20948 is not set
11351011
# end of sensors drivers
11361012

11371013
#
@@ -1220,14 +1096,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
12201096
# CONFIG_PKG_USING_SYSTEM_RUN_LED is not set
12211097
# CONFIG_PKG_USING_BT_MX01 is not set
12221098
# CONFIG_PKG_USING_RGPOWER is not set
1223-
# CONFIG_PKG_USING_BT_MX02 is not set
1224-
# CONFIG_PKG_USING_GC9A01 is not set
1225-
# CONFIG_PKG_USING_IK485 is not set
1226-
# CONFIG_PKG_USING_SERVO is not set
1227-
# CONFIG_PKG_USING_SEAN_WS2812B is not set
1228-
# CONFIG_PKG_USING_IC74HC165 is not set
1229-
# CONFIG_PKG_USING_IST8310 is not set
1230-
# CONFIG_PKG_USING_ST7789_SPI is not set
12311099
# CONFIG_PKG_USING_SPI_TOOLS is not set
12321100
# end of peripheral libraries and drivers
12331101

@@ -1244,7 +1112,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
12441112
# CONFIG_PKG_USING_QUEST is not set
12451113
# CONFIG_PKG_USING_NAXOS is not set
12461114
# CONFIG_PKG_USING_R_TINYMAIX is not set
1247-
# CONFIG_PKG_USING_LLMCHAT is not set
12481115
# end of AI packages
12491116

12501117
#
@@ -1315,7 +1182,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
13151182
# CONFIG_PKG_USING_KI is not set
13161183
# CONFIG_PKG_USING_ARMv7M_DWT is not set
13171184
# CONFIG_PKG_USING_CRCLIB is not set
1318-
# CONFIG_PKG_USING_LIBCRC is not set
13191185
# CONFIG_PKG_USING_LWGPS is not set
13201186
# CONFIG_PKG_USING_STATE_MACHINE is not set
13211187
# CONFIG_PKG_USING_DESIGN_PATTERN is not set
@@ -1326,7 +1192,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
13261192
# CONFIG_PKG_USING_SOEM is not set
13271193
# CONFIG_PKG_USING_QPARAM is not set
13281194
# CONFIG_PKG_USING_CorevMCU_CLI is not set
1329-
# CONFIG_PKG_USING_DRMP is not set
13301195
# end of miscellaneous packages
13311196

13321197
#
@@ -1340,7 +1205,6 @@ CONFIG_RT_PAGE_MAX_ORDER=11
13401205
# CONFIG_PKG_USING_ARDUINO_MSGQ_C_CPP_DEMO is not set
13411206
# CONFIG_PKG_USING_ARDUINO_SKETCH_LOADER_DEMO is not set
13421207
# CONFIG_PKG_USING_ARDUINO_ULTRASOUND_RADAR is not set
1343-
# CONFIG_PKG_USING_ARDUINO_RTDUINO_SENSORFUSION_SHIELD is not set
13441208
# CONFIG_PKG_USING_ARDUINO_NINEINONE_SENSOR_SHIELD is not set
13451209
# CONFIG_PKG_USING_ARDUINO_SENSOR_KIT is not set
13461210
# CONFIG_PKG_USING_ARDUINO_MATLAB_SUPPORT is not set

‎bsp/qemu-virt64-riscv/rtconfig.h‎

Lines changed: 0 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -443,30 +443,6 @@
443443
/* Kendryte SDK */
444444

445445
/* end of Kendryte SDK */
446-
447-
/* WCH HAL & SDK Drivers */
448-
449-
/* end of WCH HAL & SDK Drivers */
450-
451-
/* AT32 HAL & SDK Drivers */
452-
453-
/* end of AT32 HAL & SDK Drivers */
454-
455-
/* HC32 DDL Drivers */
456-
457-
/* end of HC32 DDL Drivers */
458-
459-
/* NXP HAL & SDK Drivers */
460-
461-
/* end of NXP HAL & SDK Drivers */
462-
463-
/* NUVOTON Drivers */
464-
465-
/* end of NUVOTON Drivers */
466-
467-
/* GD32 Drivers */
468-
469-
/* end of GD32 Drivers */
470446
/* end of HAL & SDK Drivers */
471447

472448
/* sensors drivers */

0 commit comments

Comments
 (0)