1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/config/arch/mips.in.2	Sun Nov 11 21:42:47 2012 +0100
     1.3 @@ -0,0 +1,38 @@
     1.4 +# MIPS specific config options
     1.5 +
     1.6 +choice
     1.7 +    bool
     1.8 +    prompt "ABI"
     1.9 +
    1.10 +config ARCH_mips_o32
    1.11 +    bool
    1.12 +    prompt "o32"
    1.13 +    depends on ARCH_32
    1.14 +    help
    1.15 +      This is the -mabi=32 gcc option.
    1.16 +
    1.17 +config ARCH_mips_n32
    1.18 +    bool
    1.19 +    prompt "n32"
    1.20 +    depends on ARCH_64
    1.21 +    help
    1.22 +      This is the -mabi=n32 gcc option.
    1.23 +
    1.24 +config ARCH_mips_n64
    1.25 +    bool
    1.26 +    prompt "n64"
    1.27 +    depends on ARCH_64
    1.28 +    help
    1.29 +      This is the -mabi=64 gcc option.
    1.30 +
    1.31 +# Not supported on Linux:
    1.32 +# o64   : seems related to *BSD
    1.33 +# eabi  : seems related to bare-metal
    1.34 +
    1.35 +endchoice
    1.36 +
    1.37 +config ARCH_mips_ABI
    1.38 +    string
    1.39 +    default "32"    if ARCH_mips_o32
    1.40 +    default "n32"   if ARCH_mips_n32
    1.41 +    default "64"    if ARCH_mips_n64