| # 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 |