# MIPS specific config options

choice
    bool
    prompt "ABI"

config ARCH_mips_o32
    bool
    prompt "o32"
    depends on ARCH_32
    help
      This is the -mabi=32 gcc option.

config ARCH_mips_n32
    bool
    prompt "n32"
    depends on ARCH_64
    help
      This is the -mabi=n32 gcc option.

config ARCH_mips_n64
    bool
    prompt "n64"
    depends on ARCH_64
    help
      This is the -mabi=64 gcc option.

# Not supported on Linux:
# o64   : seems related to *BSD
# eabi  : seems related to bare-metal

endchoice

config ARCH_mips_ABI
    string
    default "32"    if ARCH_mips_o32
    default "n32"   if ARCH_mips_n32
    default "64"    if ARCH_mips_n64