1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/config/arch/mips.in.2 Sun Aug 21 17:54:12 2011 +0200
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