mainmenu "RT-Thread Project Configuration"

RTT_DIR := ../../../..
PKGS_DIR := packages

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

config BOARD_QEMU_VIRT_RV64
    bool
    select ARCH_RISCV64
    select ARCH_USING_RISCV_COMMON64
    select RT_USING_COMPONENTS_INIT
    select RT_USING_USER_MAIN
    select RT_USING_CACHE
    select ARCH_MM_MMU
    select ARCH_REMAP_KERNEL
    default y

config ENABLE_FPU
    bool "Enable FPU"
    select ARCH_RISCV_FPU
    default y

config __STACKSIZE__
    int "stack size for interrupt"
    default 8192