mainmenu "RT-Thread Project Configuration"

BSP_DIR := .

RTT_DIR := ../../..

PKGS_DIR := packages

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

config SOC_CV18XX_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

config BSP_GPIO_IRQ_BASE
    int
    default 76

config BSP_SYS_GPIO_IRQ_BASE
    int
    default 86

config SOC_TYPE_SG2002
    bool
    default n

choice
    prompt "Board Type"
    default BOARD_TYPE_MILKV_DUO256M

    config BOARD_TYPE_MILKV_DUO256M
        select SOC_TYPE_SG2002
        bool "milkv-duo256m"

    config BOARD_TYPE_MILKV_DUO256M_SPINOR
        select SOC_TYPE_SG2002
        bool "milkv-duo256m-spinor"
        
endchoice

source "$(BSP_DIR)/board/Kconfig"