Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .gitmodules
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
[submodule "rt-thread"]
path = rt-thread
url = https://github.com/RT-Thread/rt-thread.git
url = git@github.com:RT-Thread/rt-thread.git
175 changes: 170 additions & 5 deletions machines/qemu-virt-riscv64/.config
Original file line number Diff line number Diff line change
Expand Up @@ -155,7 +155,6 @@ CONFIG_RT_DEBUGING_ASSERT=y
CONFIG_RT_DEBUGING_COLOR=y
CONFIG_RT_DEBUGING_CONTEXT=y
# CONFIG_RT_DEBUGING_AUTO_INIT is not set
# CONFIG_RT_DEBUGING_PAGE_LEAK is not set
# CONFIG_RT_USING_CI_ACTION is not set

#
Expand All @@ -173,7 +172,6 @@ CONFIG_RT_USING_SIGNALS=y
#
# Memory Management
#
CONFIG_RT_PAGE_MAX_ORDER=11
CONFIG_RT_USING_MEMPOOL=y
# CONFIG_RT_USING_SMALL_MEM is not set
CONFIG_RT_USING_SLAB=y
Expand Down Expand Up @@ -501,6 +499,8 @@ CONFIG_RT_LWIP_USING_PING=y
CONFIG_RT_USING_UTEST=y
CONFIG_UTEST_THR_STACK_SIZE=4096
CONFIG_UTEST_THR_PRIORITY=20
# CONFIG_RT_UTEST_USING_AUTO_RUN is not set
# CONFIG_RT_UTEST_USING_ALL_CASES is not set
# CONFIG_RT_USING_VAR_EXPORT is not set
CONFIG_RT_USING_RESOURCE_ID=y
CONFIG_RT_USING_ADT=y
Expand All @@ -513,6 +513,22 @@ CONFIG_RT_USING_ADT_REF=y

# CONFIG_RT_USING_VBUS is not set

#
# Memory management
#
CONFIG_RT_PAGE_AFFINITY_BLOCK_SIZE=0x1000
CONFIG_RT_PAGE_MAX_ORDER=11
# CONFIG_RT_USING_MEMBLOCK is not set

#
# Debugging
#
# CONFIG_RT_DEBUGGING_ALIASING is not set
# CONFIG_RT_DEBUGING_PAGE_LEAK is not set
# CONFIG_RT_DEBUGGING_PAGE_POISON is not set
# end of Debugging
# end of Memory management

#
# Using USB legacy version
#
Expand Down Expand Up @@ -549,6 +565,7 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_FREEMODBUS is not set
# CONFIG_PKG_USING_NANOPB is not set
# CONFIG_PKG_USING_WIFI_HOST_DRIVER is not set
# CONFIG_PKG_USING_ESP_HOSTED is not set

#
# Wi-Fi
Expand Down Expand Up @@ -655,6 +672,8 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_LHC_MODBUS is not set
# CONFIG_PKG_USING_QMODBUS is not set
# CONFIG_PKG_USING_PNET is not set
# CONFIG_PKG_USING_OPENER is not set
# CONFIG_PKG_USING_FREEMQTT is not set
# end of IoT - internet of things

#
Expand Down Expand Up @@ -744,6 +763,7 @@ CONFIG_RT_USING_ADT_REF=y
# tools packages
#
# CONFIG_PKG_USING_CMBACKTRACE is not set
# CONFIG_PKG_USING_MCOREDUMP is not set
# CONFIG_PKG_USING_EASYFLASH is not set
# CONFIG_PKG_USING_EASYLOGGER is not set
# CONFIG_PKG_USING_SYSTEMVIEW is not set
Expand Down Expand Up @@ -788,6 +808,8 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_VOFA_PLUS is not set
# CONFIG_PKG_USING_ZDEBUG is not set
# CONFIG_PKG_USING_RVBACKTRACE is not set
# CONFIG_PKG_USING_HPATCHLITE is not set
# CONFIG_PKG_USING_THREAD_METRIC is not set
# end of tools packages

#
Expand Down Expand Up @@ -816,7 +838,6 @@ CONFIG_RT_USING_ADT_REF=y
#
# CONFIG_PKG_USING_CMSIS_5 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_RTOS1 is not set
# CONFIG_PKG_USING_CMSIS_RTOS2 is not set
Expand Down Expand Up @@ -849,7 +870,12 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_LITTLEFS is not set
# CONFIG_PKG_USING_DFS_JFFS2 is not set
# CONFIG_PKG_USING_DFS_UFFS is not set
# CONFIG_PKG_USING_LWEXT4 is not set
CONFIG_PKG_USING_LWEXT4=y
CONFIG_PKG_LWEXT4_PATH="/packages/system/lwext4"
CONFIG_RT_USING_DFS_LWEXT4=y
CONFIG_PKG_USING_LWEXT4_LATEST_VERSION=y
# CONFIG_PKG_USING_LWEXT4_V110 is not set
CONFIG_PKG_LWEXT4_VER="latest"
# CONFIG_PKG_USING_THREAD_POOL is not set
# CONFIG_PKG_USING_ROBOTS is not set
# CONFIG_PKG_USING_EV is not set
Expand All @@ -868,7 +894,6 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_ARM_2D is not set
# CONFIG_PKG_USING_MCUBOOT 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_TFDB is not set
# CONFIG_PKG_USING_QPC is not set
Expand All @@ -880,8 +905,10 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_SFDB is not set
# CONFIG_PKG_USING_RTP 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_HEARTBEAT is not set
# CONFIG_PKG_USING_MICRO_ROS_RTTHREAD_PACKAGE is not set
# end of system packages

#
Expand All @@ -895,12 +922,44 @@ CONFIG_RT_USING_ADT_REF=y
#
# 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_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_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_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

#
Expand Down Expand Up @@ -932,7 +991,87 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_NRF5X_SDK is not set
# CONFIG_PKG_USING_NRFX is not set
# CONFIG_PKG_USING_NUCLEI_SDK is not set
# CONFIG_PKG_USING_RASPBERRYPI_PICO_RP2350_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
#
# CONFIG_PKG_USING_HC32F3_CMSIS_DRIVER is not set
# CONFIG_PKG_USING_HC32F3_SERIES_DRIVER is not set
# CONFIG_PKG_USING_HC32F4_CMSIS_DRIVER is not set
# CONFIG_PKG_USING_HC32F4_SERIES_DRIVER is not set
# 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

#
# NUVOTON Drivers
#
# CONFIG_PKG_USING_NUVOTON_CMSIS_DRIVER is not set
# CONFIG_PKG_USING_NUVOTON_SERIES_DRIVER is not set
# CONFIG_PKG_USING_NUVOTON_ARM926_LIB is not set
# end of NUVOTON Drivers

#
# GD32 Drivers
#
# CONFIG_PKG_USING_GD32_ARM_CMSIS_DRIVER is not set
# CONFIG_PKG_USING_GD32_ARM_SERIES_DRIVER is not set
# end of GD32 Drivers

#
# HPMicro SDK
#
# CONFIG_PKG_USING_HPM_SDK is not set
# end of HPMicro SDK
# end of HAL & SDK Drivers

#
Expand Down Expand Up @@ -970,12 +1109,14 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_BMI088 is not set
# CONFIG_PKG_USING_HMC5883 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_SR04 is not set
# CONFIG_PKG_USING_CCS811 is not set
# CONFIG_PKG_USING_PMSXX is not set
# CONFIG_PKG_USING_RT3020 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_MLX90392 is not set
# CONFIG_PKG_USING_MLX90394 is not set
Expand Down Expand Up @@ -1004,6 +1145,9 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_ICM20608 is not set
# CONFIG_PKG_USING_PAJ7620 is not set
# CONFIG_PKG_USING_STHS34PF80 is not set
# CONFIG_PKG_USING_P3T1755 is not set
# CONFIG_PKG_USING_QMI8658 is not set
# CONFIG_PKG_USING_ICM20948 is not set
# end of sensors drivers

#
Expand Down Expand Up @@ -1095,6 +1239,11 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_BT_MX02 is not set
# CONFIG_PKG_USING_GC9A01 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_IST8310 is not set
# CONFIG_PKG_USING_ST7789_SPI is not set
# CONFIG_PKG_USING_SPI_TOOLS is not set
# end of peripheral libraries and drivers

Expand All @@ -1111,6 +1260,7 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_QUEST is not set
# CONFIG_PKG_USING_NAXOS is not set
# CONFIG_PKG_USING_R_TINYMAIX is not set
# CONFIG_PKG_USING_LLMCHAT is not set
# end of AI packages

#
Expand Down Expand Up @@ -1181,6 +1331,7 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_KI is not set
# CONFIG_PKG_USING_ARMv7M_DWT 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_STATE_MACHINE is not set
# CONFIG_PKG_USING_DESIGN_PATTERN is not set
Expand All @@ -1191,6 +1342,7 @@ CONFIG_RT_USING_ADT_REF=y
# CONFIG_PKG_USING_SOEM is not set
# CONFIG_PKG_USING_QPARAM is not set
# CONFIG_PKG_USING_CorevMCU_CLI is not set
# CONFIG_PKG_USING_DRMP is not set
# end of miscellaneous packages

#
Expand Down Expand Up @@ -1441,6 +1593,19 @@ CONFIG_BSP_USING_VIRTIO_GPU=y
CONFIG_BSP_USING_VIRTIO_INPUT=y
# end of RISC-V QEMU virt64 configs

CONFIG_RT_USING_RUST=y
# CONFIG_RUST_DEBUG_BUILD is not set
CONFIG_RUST_EXAMPLE_HELLO=y
CONFIG_RUST_EXAMPLE_MEMORY=y
CONFIG_RUST_EXAMPLE_STRING=y
CONFIG_RUST_EXAMPLE_PRINTF=y
CONFIG_RUST_EXAMPLE_THREAD=y
CONFIG_RUST_EXAMPLE_MUTEX=y
CONFIG_RUST_EXAMPLE_SEM=y
CONFIG_RUST_EXAMPLE_MQ=y
CONFIG_RUST_EXAMPLE_VEC=y
CONFIG_RUST_EXAMPLE_DL=y
CONFIG_RUST_INIT_COMPONENT=y
CONFIG_BOARD_QEMU_VIRT_RV64=y
CONFIG_ENABLE_FPU=y
# CONFIG_ENABLE_VECTOR is not set
Expand Down
1 change: 1 addition & 0 deletions machines/qemu-virt-riscv64/Kconfig
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@ PKGS_DIR := packages
source "$(RTT_DIR)/Kconfig"
osource "$PKGS_DIR/Kconfig"
rsource "driver/Kconfig"
rsource "rust/Kconfig"

config BOARD_QEMU_VIRT_RV64
bool
Expand Down
Loading