| author | danielrubiob@gmail.com |
| Tue Feb 11 21:34:48 2014 +0100 (2014-02-11) | |
| changeset 3285 | a8cb9039fade |
| permissions | -rw-r--r-- |
| yann@2118 | 1 |
# MIPS specific config options |
| yann@2118 | 2 |
|
| yann@2118 | 3 |
choice |
| yann@2118 | 4 |
bool |
| yann@2118 | 5 |
prompt "ABI" |
| yann@2118 | 6 |
|
| yann@2118 | 7 |
config ARCH_mips_o32 |
| yann@2118 | 8 |
bool |
| yann@2118 | 9 |
prompt "o32" |
| yann@2118 | 10 |
depends on ARCH_32 |
| yann@2118 | 11 |
help |
| yann@2118 | 12 |
This is the -mabi=32 gcc option. |
| yann@2118 | 13 |
|
| yann@2118 | 14 |
config ARCH_mips_n32 |
| yann@2118 | 15 |
bool |
| yann@2118 | 16 |
prompt "n32" |
| yann@2118 | 17 |
depends on ARCH_64 |
| yann@2118 | 18 |
help |
| yann@2118 | 19 |
This is the -mabi=n32 gcc option. |
| yann@2118 | 20 |
|
| yann@2118 | 21 |
config ARCH_mips_n64 |
| yann@2118 | 22 |
bool |
| yann@2118 | 23 |
prompt "n64" |
| yann@2118 | 24 |
depends on ARCH_64 |
| yann@2118 | 25 |
help |
| yann@2118 | 26 |
This is the -mabi=64 gcc option. |
| yann@2118 | 27 |
|
| yann@2118 | 28 |
# Not supported on Linux: |
| yann@2118 | 29 |
# o64 : seems related to *BSD |
| yann@2118 | 30 |
# eabi : seems related to bare-metal |
| yann@2118 | 31 |
|
| yann@2118 | 32 |
endchoice |
| yann@2118 | 33 |
|
| yann@2118 | 34 |
config ARCH_mips_ABI |
| yann@2118 | 35 |
string |
| yann@2118 | 36 |
default "32" if ARCH_mips_o32 |
| yann@2118 | 37 |
default "n32" if ARCH_mips_n32 |
| yann@2118 | 38 |
default "64" if ARCH_mips_n64 |