mainmenu "RT-Thread Configuration"

BSP_DIR := .

RTT_DIR := ../..

PKGS_DIR := packages

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

config IA32
    bool
    select ARCH_IA32
    select RT_USING_COMPONENTS_INIT
    select RT_USING_USER_MAIN
    default y

menu "X86 Features"

choice
    prompt "C Library type"
    default X86_BSP_USING_LIBC

config X86_BSP_USING_LIBC
    bool "Newlib"
    help
      Use the standard Newlib implementation.

config X86_BSP_USING_PICOLIBC_PORT
    bool "Picolibc (tinystdio)"
    select RT_USING_COMPONENTS_INIT
    help
      Use Picolibc with tinystdio for a smaller footprint.
endchoice

endmenu