mainmenu "RT-Thread Project Configuration"

BSP_DIR := .

RTT_DIR := ../../

PKGS_DIR := packages

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

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

config ENABLE_FPU
    bool "Enable FPU"
    default y

config ENABLE_VECTOR
    bool "Using RISC-V Vector Extension"
    default n

if ENABLE_VECTOR
    choice
    prompt "Vector Registers Length in Bits"
    default ARCH_VECTOR_VLEN_128

    config ARCH_VECTOR_VLEN_128
        bool "128"

    config ARCH_VECTOR_VLEN_256
        bool "256"
    endchoice
endif

config RT_USING_USERSPACE_32BIT_LIMIT
    bool "Enable userspace 32bit limit"
    default n

config RT_USING_VIRTIO_MMIO_ALIGN
    bool "Open packed attribution, this may caused an error on virtio"
    default n

config ARCH_USING_NEW_CTX_SWITCH
    bool
    default y

config __STACKSIZE__
    int "stack size for interrupt"
    default 4096