yann@2118: # MIPS specific config options
yann@2118: 
yann@2118: choice
yann@2118:     bool
yann@2118:     prompt "ABI"
yann@2118: 
yann@2118: config ARCH_mips_o32
yann@2118:     bool
yann@2118:     prompt "o32"
yann@2118:     depends on ARCH_32
yann@2118:     help
yann@2118:       This is the -mabi=32 gcc option.
yann@2118: 
yann@2118: config ARCH_mips_n32
yann@2118:     bool
yann@2118:     prompt "n32"
yann@2118:     depends on ARCH_64
yann@2118:     help
yann@2118:       This is the -mabi=n32 gcc option.
yann@2118: 
yann@2118: config ARCH_mips_n64
yann@2118:     bool
yann@2118:     prompt "n64"
yann@2118:     depends on ARCH_64
yann@2118:     help
yann@2118:       This is the -mabi=64 gcc option.
yann@2118: 
yann@2118: # Not supported on Linux:
yann@2118: # o64   : seems related to *BSD
yann@2118: # eabi  : seems related to bare-metal
yann@2118: 
yann@2118: endchoice
yann@2118: 
yann@2118: config ARCH_mips_ABI
yann@2118:     string
yann@2118:     default "32"    if ARCH_mips_o32
yann@2118:     default "n32"   if ARCH_mips_n32
yann@2118:     default "64"    if ARCH_mips_n64