mainmenu "RT-Thread Project Configuration"

BSP_DIR := .

RTT_DIR := ../../

PKGS_DIR := packages

source "$(RTT_DIR)/Kconfig"
osource "$PKGS_DIR/Kconfig"

config SOC_VIRT64_AARCH64
    bool
    select ARCH_ARMV8
    select ARCH_CPU_64BIT
    select ARCH_ARM_MMU
    select RT_USING_CACHE
    select RT_USING_COMPONENTS_INIT
    select RT_USING_USER_MAIN
    select RT_USING_GIC
    select BSP_USING_GIC
    select ARCH_MM_MMU
    default y

source "$(BSP_DIR)/drivers/Kconfig"